Assumptio 1.5 is available here
If you just want to take a quick look at Assumptio, go there:
- 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.