General

Profile

News

Assumptio: Assumptio v2.0

Added by Adrien Champion over 5 years ago

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: Assumptio v1.5

Added by Adrien Champion almost 6 years ago

Assumptio 1.5 is available here
https://cavale.enseeiht.fr/redmine/projects/assumptio/files

If you just want to take a quick look at Assumptio, go there:
https://cavale.enseeiht.fr/redmine/documents/4

Change log:
  • Assumptio now supports non-incremental mode;
  • added a new Restart message which kills the back-end solver and creates a new one, see user manual;
  • changed the constructors a little bit, see manual.

Of course, the linear system solving example has been updated.

Assumptio: Assumptio v1.0

Added by Adrien Champion almost 6 years ago

Releasing Assumptio v1.0, downloadable here: https://cavale.enseeiht.fr/redmine/projects/assumptio/files.

This archive contains:
  • a README file;
  • the assumptio user manual (also available here https://cavale.enseeiht.fr/redmine/documents/2);
  • the GNU General Public License;
  • Assumptio's source code (in src/main/scala/);
  • Assumptio's scaladoc (in target/doc/)
  • an example of how to use Assumptio (developped in the user manual) in src/test/scala/.
    (1-9/9)

    Also available in: Atom