-
- Downloads
changed interface of Solver to prevent halt before solve problem. Added a init...
changed interface of Solver to prevent halt before solve problem. Added a init method to be called before solve
Showing
- src/multisets/Main.scala 0 additions, 6 deletionssrc/multisets/Main.scala
- src/orderedsets/Main.scala 0 additions, 5 deletionssrc/orderedsets/Main.scala
- src/orderedsets/UnifierMain.scala 0 additions, 5 deletionssrc/orderedsets/UnifierMain.scala
- src/purescala/Analysis.scala 1 addition, 0 deletionssrc/purescala/Analysis.scala
- src/purescala/Extensions.scala 10 additions, 3 deletionssrc/purescala/Extensions.scala
- src/purescala/FairZ3Solver.scala 4 additions, 6 deletionssrc/purescala/FairZ3Solver.scala
- src/purescala/ParallelSolver.scala 20 additions, 7 deletionssrc/purescala/ParallelSolver.scala
- src/purescala/RandomSolver.scala 4 additions, 12 deletionssrc/purescala/RandomSolver.scala
- src/purescala/TimeoutSolver.scala 5 additions, 2 deletionssrc/purescala/TimeoutSolver.scala
- src/purescala/Timer.scala 1 addition, 0 deletionssrc/purescala/Timer.scala
- src/purescala/TrivialSolver.scala 0 additions, 3 deletionssrc/purescala/TrivialSolver.scala
- src/purescala/Z3Solver.scala 0 additions, 4 deletionssrc/purescala/Z3Solver.scala
Loading
Please register or sign in to comment