Project

General

Profile

Assumptio v3.0

Assumptio v3.0
Added by Adrien Champion over 11 years ago

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