Download

Releases

The current releases are built automatically for Debian-based systems and MAC OS X.

Ubuntu repository

A PPA repository for the latest unstable Ubuntu debs can be set up with

sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 379CE192D401AB61
sudo add-apt-repository https://dl.bintray.com/souffle-lang/deb-unstable/

The stable release repository can be set up with

sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 379CE192D401AB61
sudo add-apt-repository https://dl.bintray.com/souffle-lang/deb/

Source Code

Follow the build instructions to build and install Soufflé locally on your computer.

The source code can be obtained by git, as a zip-file, or as tar-ball.

The latest build status for various systems can be found below:

Jenkins Build System