SATABS 3.2 released

191 views
Skip to first unread message

Daniel Kroening

unread,
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


Reply all
Reply to author
Forward
0 new messages