Sign inSign up

pauleve/pint

By pauleve

Updated over 8 years ago

Pint, Static analyzer for dynamics of Automata Networks

Image
1

733

pauleve/pint repository overview

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/

Tag summary

Content type

Image

Digest

Size

410.5 MB

Last updated

over 8 years ago

docker pull pauleve/pint