Installation

Note that starting with ILASP version 4.2.0, ILASP has been compiled against static versions of the Clingo libraries. This means that there is no need for users to install a particular version of Clingo on their system. The only remaining dependency for ILASP that is not pre-installed is Python 3.9.

Linux

Note that although in theory ILASP should work on any Linux distribution, we have only tested it on Ubuntu 20.04.

The latest version of ILASP (and its dependencies) can be installed using the following commands:

apt-get update
apt-get -y install libpython3.9

mkdir tmp
cd tmp

wget https://github.com/ilaspltd/ILASP-releases/releases/download/v4.2.0/ILASP-4.2-ubuntu.tar.gz
tar -xzf ILASP-4.2-ubuntu.tar.gz
mv ./ILASP /usr/local/bin/ILASP
cd ../
rm -rf ./tmp

Mac OSX – Intel

ILASP has been built and tested on OSX 11.2.3.

The latest version of ILASP (and its dependencies) can be installed using the following commands:

/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
brew install python@3.9

mkdir tmp
cd tmp
wget https://github.com/ilaspltd/ILASP-releases/releases/download/v4.2.0/ILASP-4.2-macOS.tar.gz
tar -xzf ILASP-4.2-macOS.tar.gz
mv ./ILASP /usr/local/bin/ILASP
cd ../
rm -rf ./tmp

Mac OSX – M1

ILASP has been built and tested on OSX 12.2.

The latest version of ILASP (and its dependencies) can be installed using the following commands:

/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
brew install python@3.9

mkdir tmp
cd tmp
wget https://github.com/ilaspltd/ILASP-releases/releases/download/v4.2.0/ILASP-4.2-macOS-M1.tar.gz
tar -xzf ILASP-4.2-macOS-M1.tar.gz
mv ./ILASP /usr/local/bin/ILASP
cd ../
rm -rf ./tmp