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.


Get it from the Snap Store

Search for another snap, or go back to the homepage.
An error has occurred. This application may no longer respond until reloaded. Reload 🗙