Skip to content
I

ijtihad

Project ID: 369

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