Assumptio

This is the Assumptio manual, version 0.5.

It contains a technical description of Assumptio as well as a simple example to show how to use it.

Coming together with the release of Assumptio v1.0 (https://cavale.enseeiht.fr/redmine/projects/assumptio/files), Assumptio's user manual v1.0.

User manual v1.5.

Assumptio user manual version 1.6 is out.

-> The log path is now specified for each instance of the solver master.

New version, corrected deprecated sections.

The Assumptio manual version 2.0.
Check the news section for more information.

User Manual