---
title: Install tarski on Linux | Snap Store
description: Get the latest version of tarski for Linux - A system for computing with
  Tarski formulas and semi-algebraic sets
url: https://snapcraft.io/tarski
---

# tarski

[Kovács Zoltán (kovzol-particio)](https://snapcraft.io/publisher/kovzol-particio "View all snaps from Kovács Zoltán (kovzol-particio)")

* [Kovács Zoltán (kovzol-particio)](https://snapcraft.io/publisher/kovzol-particio "View all snaps from Kovács Zoltán (kovzol-particio)")
* [Science](https://snapcraft.io/search?categories=science)

latest/stable 1.37

Install latest/stable of tarski

This channel hasn't been updated in a while. It might be unmaintained and have stability or security issues.

---

**Install using the command line**

```
sudo snap install tarski
```

Don't have snapd? [Get set up for snaps](https://snapcraft.io/docs/installing-snapd).

---

### Package name

* tarski

---

### License

* Other Open Source

---

### Last updated

* 9 February 2024 - latest/stable
* 25 May 2026 - latest/edge

---

### Websites

* [github.com/kovzol/tarski](https://github.com/kovzol/tarski "https://github.com/kovzol/tarski")

---

### Contact

* [zoltan@geogebra.org](mailto:zoltan@geogebra.org "mailto:zoltan@geogebra.org")

---

##### Report a Snap Store violation

* [Report this Snap](https://snapcraft.io/tarski#report-snap-modal)

---

* [Description](https://snapcraft.io/tarski#tab-description)
* [Security](https://snapcraft.io/tarski#tab-security)

#### 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.

---

## 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](https://snapcraft.io/docs/installing-snapd).

[### Arch Linux](https://snapcraft.io/install/tarski/arch)

[### CentOS](https://snapcraft.io/install/tarski/centos)

[### Debian](https://snapcraft.io/install/tarski/debian)

[### elementary OS](https://snapcraft.io/install/tarski/elementary)

[### Fedora](https://snapcraft.io/install/tarski/fedora)

[### KDE Neon](https://snapcraft.io/install/tarski/kde-neon)

[### Kubuntu](https://snapcraft.io/install/tarski/kubuntu)

[### Manjaro](https://snapcraft.io/install/tarski/manjaro)

[### Pop!\_OS](https://snapcraft.io/install/tarski/pop)

[### openSUSE](https://snapcraft.io/install/tarski/opensuse)

[### Red Hat Enterprise Linux](https://snapcraft.io/install/tarski/rhel)

[### Ubuntu](https://snapcraft.io/install/tarski/ubuntu)

[### Raspberry Pi](https://snapcraft.io/install/tarski/raspbian)