torxakis

TorXakis Publisher

Install latest/edge of torxakis

Ubuntu 16.04 or later?

Make sure snap support is enabled in your Desktop store.

Install using the command line

sudo snap install torxakis --edge

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

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

Channel Version Published

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

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

Details for torxakis

License
  • BSD-3-Clause
Last updated
  • 13 November 2017 - latest/edge
Contact
Report a Snap Store violation

Share this snap

Generate an embeddable card to be shared on external websites.

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.

Arch Linux

CentOS

Debian

elementary OS

Fedora

KDE Neon

Kubuntu

Manjaro

Pop!_OS

openSUSE

Red Hat Enterprise Linux

Ubuntu

Where people are using torxakis

Users by distribution (log)

Ubuntu 24.04