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://... - 11:59 AM Document: Assumptio User Manual 3.0
- User Manual
- User manual
- Assumptio v3.0, complete project with user manual.
Also available in: Atom