Install latest/stable of tarski

Ubuntu 16.04 or later?

Make sure snap support is enabled in your Desktop store.

Install using the command line

sudo snap install tarski

Don't have snapd? Get set up for snaps.

Channel Version Published

A system for computing with Tarski formulas and semi-algebraic sets

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.

Details for tarski

  • Other Open Source

Last updated
  • 9 February 2024 - latest/stable
  • 6 February 2024 - latest/edge



Share this snap

Generate an embeddable card to be shared on external websites.

Install tarski on your Linux distribution

Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the installing snapd documentation.

Where people are using tarski

Is there a problem with tarski? Report this app