-
- Downloads
Added the new StringSolver and its test suite, to solve string equations with...
Added the new StringSolver and its test suite, to solve string equations with the right member being a constant.
Showing
- src/main/scala/leon/solvers/string/StringSolver.scala 301 additions, 0 deletionssrc/main/scala/leon/solvers/string/StringSolver.scala
- src/main/scala/leon/synthesis/rules/StringRender.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/StringRender.scala
- src/test/scala/leon/integration/solvers/SolversSuite.scala 1 addition, 0 deletionssrc/test/scala/leon/integration/solvers/SolversSuite.scala
- src/test/scala/leon/integration/solvers/StringSolverSuite.scala 78 additions, 0 deletions...st/scala/leon/integration/solvers/StringSolverSuite.scala
Loading
Please register or sign in to comment