This is a Vagrantfile for klee.
Hopefuly, you'd be able to have everything up and running by entering vagrant up in your terminal.
If not, please consider submitting a pull request.
The base machine is ubuntu/precise64.
🤘
vagrant up
vagrant ssh
cd /vagrant/example/get_sign
make
MIT