Install IKOS on Arch Linux

Here are the steps to install IKOS on Arch Linux using AUR (Arch User Repository).

First, make sure your system is up-to-date:

$ sudo pacman -Syu

Then, install the apron and ikos AUR packages. See Installing packages for detailed instructions.

To be informed on updates by email, click on "Enable notifications" in "Package actions" on the AUR website.

You are now ready to use IKOS. Go to the section How to Run IKOS in README.md

Build IKOS from source on Arch Linux

Here are the steps to install the required dependencies to build IKOS from source on Arch Linux using AUR (Arch User Repository).

First, make sure your system is up-to-date:

$ sudo pacman -Syu

Now, install the following packages using pacman:

$ sudo pacman -S base-devel cmake gmp boost boost-libs python python-pygments sqlite intel-tbb llvm llvm-libs clang

Then, install the apron-ppl-svn AUR package:

You are now ready to build IKOS. Go to the section Build and Install in README.md