Download
Using package manager
Currently we do not provide packages for any package manager.
Docker images
We also maintain docker images and publish them to our gitlab registry.
Replace <tag> with values from the table below.
docker pull gitlab.fit.cvut.cz:5000/algorithms-library-toolkit/automata-library:<tag>
docker run -it gitlab.fit.cvut.cz:5000/algorithms-library-toolkit/automata-library[:tag]| tag | Description |
|---|---|
latest |
latest stable release (default tag) |
snapshot |
latest snapshot release |
v[version] |
stable release, e.g. v1.2.3 for 1.2.3 release |
Install from sources
You can grab sources from our git repository or from tarball repository