Skip to content

GitLab

Explore

Sign in

I

ijtihad

Project information

ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.

213 Commits
1 Branch
0 Tags

README
LICENSE

Created on

November 04, 2016

Copy SSH clone URLgit@extgit.iaik.tugraz.at:scos/ijtihad.git
Copy HTTPS clone URLhttps://extgit.iaik.tugraz.at/scos/ijtihad.git