Public Repository

Last pushed: a year ago
Short Description
Pint, Static analyzer for dynamics of Automata Networks
Full Description


Docker is the easiest way to use Pint with the Jupyter notebook interface on any operating system.

Installation/upgrade using the command line:

 docker pull pauleve/pint

The image can be mounted as follows, binding your current directory to the default image working directory:

 docker run -it --rm -p 8888:8888 -v "$PWD":/notebook pauleve/pint

You can then go http://localhost:8888 to access to the Jupyter notebook.

Please refer to Docker documentation for other usage and visit

Docker Pull Command