Install dependencies: libevent greenlent gevent Download 3rd party solvers: ./get-3rd-party.sh Setup PYTHONPATH to include ./src: . ./scripts/setup-env.sh Run tests: nosetests . Run server: .scripts/run_server.py By default the server uses (probably outdated) solvers from 3rd_party directory. Send query to the server: ./scripts/send_query.py example-klee-query where query.smt should be in a klee format.