OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
126 stars 33 forks source link

Return best model so far when optimizing #1136

Open bclement-ocp opened 1 month ago

bclement-ocp commented 1 month ago

Following discussion at the user's club we should implement a soft timeout at least for optimization to return the best model so far when the soft timeout is reached.

The proper place to check for the timeout is probably wherever we currently increment steps.

(See also #946 )