Install IKOS on Archlinux

Here are the steps to install IKOS on Archlinux using AUR (Archlinux User Repositories).

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

$ sudo pacman -Syu

Now, install IKOS using your favorite AUR helper:

$ yay -S ikos

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

Build IKOS from source on Archlinux

Here are the steps to install the required dependencies to build IKOS from source on Archlinux using AUR (Archlinux User Repositories).

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

$ sudo pacman -Syu

Now, install the following packages using your favorite AUR helper:

$ yay -S base-devel cmake gmp boost boost-libs python python-pygments sqlite llvm llvm-libs clang apron-ppl-svn

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