Assumptio

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

• 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.