Menu

torxakis

TorXakis Publisher

Install latest/edge of torxakis

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

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

Details for torxakis

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

Command › Alias

  • torxakis.txsserver › txsserver
  • torxakis.txsui › txsui
Report a Snap Store violation

Share this snap

Generate an embeddable card to be shared on external websites.

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

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

Revision Channel Version Published Build Commit Download SBOM

The build and commit information is derived from build infrastructure records.

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