Big changes in this new release:
- the user interface changed quite a lot, see the user manual for more details;
- added a new class named Massumptio. It allows to encapsulate several solvers to provide free restarts (restarts switch the active solver to an already running but blank one). Using Massumptio is done the same way as Assumptio;
- problem with unsat cores fixed;
- full support for MathSat 5.
Assumptio 2.0 is available here:
https://cavale.enseeiht.fr/redmine/projects/assumptio/files
The documentation (included in the aforementioned package) is available here:
https://cavale.enseeiht.fr/redmine/documents/7
The next release will probably include support for CVC 4 (if it is released by then).
Assumptio 2.0 includes new features and a slightly different interface.
The sources are already available (with the updated famous linear system solving example) on the svn at https://cavale.enseeiht.fr/svn/assumptio but the user manual needs to be modified.
This will be done soon.