Download

Public key

Packages and repositories are signed with the key FFAB E317 A779 4409 3EDE EFBF B14E 23A1 3282 A79F. You can download the key.

Latest releases

We only release snapshot packages at the moment. However, we plan to release full tagged releases soon(TM).

Install using package manager

The following packages are available:

• algorithms-library-snapshot (core, includes aql2 executable)
• algorithms-library-dev-snapshot (development headers for debian/ubuntu)

ArchLinux

Append the following lines to your /etc/pacman.conf:

# Algorithms Library repository
[algorithms-library]
Server = https://alt.fit.cvut.cz/repo/archlinux/$arch/

And update the database.

pacman -Sy

Do not forget to verify the fingerprint when importing the key. You will probably need to sign the key locally using pacman-key --lsign-key.

Debian and Ubuntu

Append the following line in your /etc/apt/sources.list (or create a file inside your sources.d directory) and replace <distribution> with your Debian/Ubuntu distribution codename.

deb https://alt.fit.cvut.cz/repo/debian <distribution> main

We maintain repositories for the following versions of Debian/Ubuntu:

Download the repository key and update repositories.

curl https://alt.fit.cvut.cz/assets/alt.key | apt-key add -
apt-get update

Gentoo

Gentoo ebuild can be found here.

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]

Install from sources

You can grab sources from our git repository or from tarball repository