Usage: node task6 examples/case1.js You will add different example files and according to them you can run the code. Before running code, you need to install Microsoft-Z3 Prover https://github.com/Z3Prover/z3 from the GitHub. You can debug it using Visual Studio Code. Once again, it will run on the Linux based platform Ubuntu or on the Mac.It is tested on Ubuntu16.04 LTS.