/pint

Static analyzer for dynamics of Automata Networks

Primary LanguageOCamlOtherNOASSERTION

Pint - Static analyzer for dynamics of Automata Networks

Distributed under CeCCIL licence.

Download

Binary packages for Ubuntu/Debian or Mac OS X, as well as Pint source code can be downloaded from github.com/pauleve/pint/releases.

Runtime requirements

  • clingo is required by pint-reach and ph2thomas.
  • ITS is required by pint-its.
  • mole is required by pint-mole.

Docker image

A Docker image which includes all Pint features is provided: pauleve/pint.

Whereas performance may be tempered by the Docker layers, it provides an efficient way to try out Pint without the burden of installing its multiple dependencies.

Installation using the command line:

$ docker pull pauleve/pint

You can then mount the image and enjoy all the Pint commands. Alternatively, on Linux/Mac OS X, you can call Pint from your local directory using:

$ docker run --rm --volume "$PWD":/wd --workdir /wd pauleve/pint <PINT-CMD>

where <PINT-CMD> is a Pint command. You can drop the --rm option to reuse the mounted image multiple times more efficiently (see Docker documentation).

Installation from sources

Compilation requirements
Notes on libRmath requirement

Pint requires the libRmath standalone library for the stochastic simulation and parameters inference from time interval specifications. You can disable this functionnality with the following command:

$ python setup.py --disable-R

Most distributions provide a libRmath package (or include the libRmath.so library in the R package).

If you compile R from sources, after the configure step:

(from R source directory)
$ cd src/nmath/standalone
$ make shared
$ sudo make install
Compilation

In the root directory of sources:

$ python setup.py --enable-R

or

$ python setup.py --disable-R

then

$ make

If you installed libRmath in a custom location, use CFLAGS and LDFLAGS environment variables to indicate it:

LDFLAGS=-L/usr/local/lib CFLAGS=-I/usr/local/include make
Installation

Add <Pint source directory>/bin to your $PATH environment variable.