src/main/scala/leon/solvers/TimeoutSolverFactory.scala · 92493830c0c3c0991a1538329bf66bf3d66ca821 · LARA / inox

"src/main/scala/leon/purescala/ScalaPrinter.scala" did not exist on "e46bb9b62d75b28c3320e689e105bbf1246650cc"

9 years ago

Etienne Kneuss authored 9 years ago

- solvers are not freed directly, they are reclaimed by their
  solver factory

- reset() is used when available to reset a solver instead of creating a
  fresh one.

fbf2bea6

History

Implement solver pools

Etienne Kneuss authored 9 years ago

- solvers are not freed directly, they are reclaimed by their
  solver factory

- reset() is used when available to reset a solver instead of creating a
  fresh one.