Edit me

You can build and install Soufflé following the instructions from Build Soufflé.

Debian/Ubuntu Systems

For Debian-based systems, the latest release version of Soufflé can be installed from the souffle-lang repository,

sudo wget https://souffle-lang.github.io/ppa/souffle-key.public -O /usr/share/keyrings/souffle-archive-keyring.gpg
echo "deb [signed-by=/usr/share/keyrings/souffle-archive-keyring.gpg] https://souffle-lang.github.io/ppa/ubuntu/ stable main" | sudo tee /etc/apt/sources.list.d/souffle.list
sudo apt update
sudo apt install souffle

These steps install the signing key for the repository as well as adding the repository details to the package manager. The packages are built using Ubuntu 20.04 and are compatible with that and later releases. Older editions of Ubuntu will require building from source.


dnf install https://souffle-lang.github.io/ppa/fedora/36/x86_64/souffle.fedora36repo.rpm
dnf install souffle

Packages are built using Fedora 36 and are compatible with that and later releases. Older editions of Fedora will require building from source.

Oracle Linux 8

dnf install https://souffle-lang.github.io/ppa/ol/8/x86_64/souffle.ol8repo.rpm
dnf install souffle

Packages built using Oracle Linux 8 are likely to be compatible with related OS installs such as CentOS8. If the installation fails, souffle will need to be built from source.


We have a brew formula for MAC OS X using the brew system. The brew formula automates the build and installation on MAC OS X. To install Soufflé please type:

brew install --HEAD souffle-lang/souffle/souffle