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

[Canonical Snapcraft](https://snapcraft.io/)

# Install torxakis on **Manjaro Linux**

# torxakis

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

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

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

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

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

### 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")

---

##### Report a Snap Store violation

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

---

## Enable snaps on Manjaro Linux and install torxakis

Snaps are applications packaged with all their dependencies to run on all popular Linux distributions from a single build. They update automatically and roll back gracefully.

Snaps are discoverable and installable from the [Snap Store](https://snapcraft.io/store), an app store with an audience of millions.

### Enable snapd

Snapd can be installed from Manjaro’s Add/Remove Software application (Pamac), found in the launch menu. From the application, search for *snapd*, select the result, and click Apply.

Alternatively, *snapd* can be installed from the command line:

```
sudo pacman -S snapd
```

Once installed, the *systemd* unit that manages the main snap communication socket needs to be enabled:

```
sudo systemctl enable --now snapd.socket
```

To enable *classic* snap support, enter the following to create a symbolic link between `/var/lib/snapd/snap` and `/snap`:

```
sudo ln -s /var/lib/snapd/snap /snap
```

Either log out and back in again, or restart your system, to ensure snap’s paths are updated correctly.

### Install torxakis

To install torxakis, simply use the following command:

```
sudo snap install torxakis --edge
```

### Other popular snaps…

[See more...](https://snapcraft.io/search?categories=featured)

[See more in Featured](https://snapcraft.io/search?categories=featured)

### More things to do…

#### [Get the snap store](https://snapcraft.io/snap-store)

Browse and find snaps from the convenience of your desktop using the snap store snap.

#### [Learn more about snaps](https://snapcraft.io/docs)

Interested to find out more about snaps? Want to publish your own application? Visit [snapcraft.io](https://snapcraft.io/) now.

[Back to top](https://snapcraft.io/install/torxakis/manjaro)

© 2026 Canonical Ltd.
Ubuntu and Canonical are registered trademarks of Canonical Ltd.

Powered by [Charmed Kubernetes](https://www.ubuntu.com/kubernetes)

[Join the forum](https://forum.snapcraft.io/), contribute to or report problems with,
[snapd](https://bugs.launchpad.net/snapd),
[Snapcraft](https://bugs.launchpad.net/snapcraft),
or [this site](https://github.com/canonical/snapcraft.io/issues/new).

* [Share on Twitter](https://twitter.com/snapcraftio)
* [Share on Facebook](https://www.facebook.com/snapcraftio)
* [Share on YouTube](https://www.youtube.com/snapcraftio)

* [Terms of Service](https://ubuntu.com/legal/terms-and-policies/snap-store-terms)
* [Data privacy](https://www.ubuntu.com/legal/data-privacy)
* [Manage your tracker settings](https://snapcraft.io/install/torxakis/manjaro)
* [Service status](https://status.snapcraft.io/)
* [Other functions](https://dashboard.snapcraft.io/)
* [Contact us](https://snapcraft.io/about/contact-us)