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.10.
Note that although in theory ILASP should work on any Linux distribution, we have only tested it on Ubuntu 22.04.
The latest version of ILASP (and its dependencies) can be installed using the following commands:
apt-get update
apt-get -y install libpython3.10
mkdir tmp
cd tmp
wget https://github.com/ilaspltd/ILASP-releases/releases/download/v4.4.0/ILASP-4.4.0-ubuntu.tar.gz
tar -xzf ILASP-4.4.0-ubuntu.tar.gz
mv ./ILASP /usr/local/bin/ILASP
cd ../
rm -rf ./tmp
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.10
mkdir tmp
cd tmp
wget https://github.com/ilaspltd/ILASP-releases/releases/download/v4.4.0/ILASP-4.4.0-macOS-intel.tar.gz
tar -xzf ILASP-4.4.0-macOS-intel.tar.gz
mv ./ILASP /usr/local/bin/ILASP
cd ../
rm -rf ./tmp
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.10
mkdir tmp
cd tmp
wget https://github.com/ilaspltd/ILASP-releases/releases/download/v4.4.0/ILASP-4.4.0-macOS-M1.tar.gz
tar -xzf ILASP-4.4.0-macOS-M1.tar.gz
mv ./ILASP /usr/local/bin/ILASP
cd ../
rm -rf ./tmp