A lazy and incremental framework for solving constrained horn clauses
Run the following in the top level directory of the repository.
mkdir build
cd build
cmake -G "Unix Makefiles" ../
make
Paths to custom installation folders of the above libraries can be updated in LazyHorn/CMakeLists.txt
and LazyHorn/cmake/FindZ3.cmake
.