---
title: Install torxakis on Linux | Snap Store
description: Get the latest version of torxakis for Linux - A tool for testing systems
  using a model-based approach.
url: https://snapcraft.io/torxakis
---

# torxakis

[TorXakis](https://snapcraft.io/publisher/torxakis "View all snaps from TorXakis")

* [TorXakis](https://snapcraft.io/publisher/torxakis "View all snaps from TorXakis")

latest/edge nightly

Install latest/edge of torxakis

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 torxakis --edge
```

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

torxakis is only available on the unstable edge channel. It could break and change often.

---

### Package name

* torxakis

---

### License

* BSD-3-Clause

---

### Last updated

* 13 November 2017 - latest/edge

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

---

### Contact

* [torxakis@gmail.com](mailto:torxakis@gmail.com "mailto:torxakis@gmail.com")

---

### Command › Alias

* torxakis.txsserver › txsserver
* torxakis.txsui › txsui

---

##### Report a Snap Store violation

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

---

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

#### A tool for testing systems using a model-based approach.

TorXakis allows to test systems by writing models in a process algebraic
fashion.

---

## Install torxakis 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/torxakis/arch)

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

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

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

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

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

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

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

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

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

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

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