Search for another snap, or go back to the homepage.
Enjoying this site? Please to help keep the Snapstats.org lights on.
Tarski is a system that provides a command-line interface to a number of functions for computing with Tarski formulas and semi-algebraic sets. It includes fast simplification and UNSAT cores for Tarski formulas, problem formulation for QEPCAD B, Open NuCAD construction and projection, read and write in smtlib syntax. The QEPCAD B system is also included.