Assumptio

06/24/2013

12:03 PM Assumptio v3.0

Now with akka actors.
Added support for CVC4.
Log is still a little bit buggy.
Documentation only:
[[https://... Adrien Champion

11:59 AM Document: Assumptio User Manual 3.0

User Manual Adrien Champion

11:59 AM UserManual.pdf

User manual Adrien Champion

11:26 AM assumptio_v3.0.tar.gz

Assumptio v3.0, complete project with user manual. Adrien Champion