Project

General

Profile

Activity

From 05/26/2013 to 06/24/2013

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
 

Also available in: Atom