Public Repository

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

See http://loicpauleve.name/pint

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 https://loicpauleve.name/pint/doc/

Docker Pull Command
Owner
pauleve

Comments (0)