src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala · 4e238ff07931842f08782dbd58f0f22d37769160 · LARA / inox

10 years ago

Manos Koukoutos authored 10 years ago

Allow more than 1 interrupts, exit if within 1 sec.
Register SMTLIB solvers for interrupt.

4e238ff0

Manos Koukoutos authored 10 years ago

Allow more than 1 interrupts, exit if within 1 sec.
Register SMTLIB solvers for interrupt.

SMTLIBSolver.scala 976 B