Edit me

Installation

Debian/Ubuntu Systems

For Debian systems, the latest development version of Soufflé can be installed from the Bintray PPA,

To add the repository:

echo "deb https://dl.bintray.com/souffle-lang/deb-unstable bionic main" | sudo tee -a /etc/apt/sources.list
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 379CE192D401AB61
sudo apt-get update

Then to install souffle itself

sudo apt-get install souffle

Centos7

To add the repository and install souffle:

yum install https://dl.bintray.com/souffle-lang/rpm-unstable/centos/7/x86_64/souffle-repo-centos-1.0.2-1.x86_64.rpm
yum install souffle

Fedora

To add the repository and install souffle:

yum install https://dl.bintray.com/souffle-lang/rpm-unstable/fedora/27/x86_64/souffle-fedora-repo-1.0.2-1.x86_64.rpm
yum install souffle

MAC OS X with brew

brew install souffle-lang/souffle/souffle

For the latest updates follow the development head

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