SATABS Homepage Predicate Abstaction with SAT for ANSI-C
About -- Download -- Examples -- Documentation

SATABS Download

We currently only distribute binaries for x86 Linux and Windows.

x86 Windows x86 Linux

  • SATABS: satabs-2-1-win.zip
    Unzip the archive before running.

  • Important: You need CL (comes with Microsoft Visual Studio) in your PATH for preprocessing. If you don't have Visual Studio, consider downloading Visual C++ Express (free!).

  • SATABS: satabs-2-1-linux.tgz
    Do tar xfz satabs-2-1-linux.tgz before running.

  • Of course, it's assumed that you have gcc/g++ and the usual header files and libraries installed.