How to Install - quasylab/sibilla GitHub Wiki

The simplest way to download Sibilla is to clone the repository locally by executing in a shell via the following command

git clone https://github.com/quasylab/sibilla.git

After that a directory named Sibilla, that contains all the source files, is created. You can run the available gradle script to build the tool (replace ./gradlew with .\gradlew.bat in Windows):

cd sibilla
./gradlew build
./gradlew installDist

The compiled tool will be available in the folder shell/build/install/sshell.