Assumptio v3.0
Assumptio v3.0
Now with akka actors.
Added support for CVC4.
Log is still a little bit buggy.
Documentation only:
[[https://cavale.enseeiht.fr/redmine/documents/9]]
Complete package:
[[https://cavale.enseeiht.fr/redmine/attachments/download/63/assumptio_v3.0.tar.gz]]
Comments