trappist 0.6.0

Minimal Trap Spaces computation using Maximal Siphons

Trappist is a tool for computing minimal trap spaces of a Boolean model.

Install

You can install trappist with pip:

$ python3 -m pip install -e git+https://github.com/soli/trap-spaces-as-siphons.git

You will also need the clingo ASP solver in your PATH for the asp method of computing the trap spaces (default). Instructions are provided directly on the Potassco pages.

Note that Trappist does install the PySAT module so that the sat method is always available even if you do not have clingo.

Run trappist in a Binder image

Submitted version:

Latest version, with 2022-12-01 colomoto-docker image: 

Read about trappist

The article describing trappist is here

Run trappist from the command line

After installing trappist (and maybe clingo), just run

$ trappist [-m maximum number of solutions] [-t maximum time to use in seconds] [-s solver (asp|sat)] <PNML input file>