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

Loading