SATABS 3.2 released
194 views
Skip to first unread message
Daniel Kroening
Feb 7, 2013, 12:57:15 PM2/7/13
to cpr...@googlegroups.com
We are happy to announce the release of SATABS version 3.2. This release primarily fixes a number of bugs in the previous releases.
Binary download for x86 Linux:
http://www.cprover.org/satabs/download/satabs-3-2-linux-32.tgz
The archive above also includes a binary for the boom model checker.
Information about SATABS is in the new (HTML-based) manual:
http://www.cprover.org/cprover-manual/satabs.shtml
The archive above also includes a binary for the boom model checker.
Information about SATABS is in the new (HTML-based) manual:
http://www.cprover.org/cprover-manual/satabs.shtml
Reply all
Reply to author
Forward
0 new messages