Install SChorA

You can also download and run SChorA on your local computer. The two follow sections represent the requirements and execution it.


The software below must be preinstalled:


Download file zip After unzip it, you will see file SChorA.jar, you can try it by command:

java -jar SChorA.jar fileName Z3SMTSolver

The first parameter, fileName, is path to SChorA script file wrt. syntax defined here. The second one, Z3SMTSolver, is path to Z3 Solver execution file. If this parameter is omit, then SChorA will find Z3 Solver in PATH of system.

For example:

java -jar SChorA.jar onlineShop.txt /Users/tata/soft/Z3Solver/bin/z3