Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
Add a check for unpruned quantifier variables i...
Generate QCIR formulas.
Small corrections, esp. to qiscas output.
Bugfix to compile on OSX (thanks Skip).
Improve documentation of the compilation process.