Install latest/stable of tarski
Ubuntu 16.04 or later?
Make sure snap support is enabled in your Desktop store.
You are about to open
Do you wish to proceed?
Thank you for your report. Information you provided will help us investigate further.
There was an error while sending your report. Please try again later.
Generate an embeddable card to be shared on external websites.
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.
Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the installing snapd documentation.
