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

Name
Last commit
Last update
abcdsat Loading commit data...
cryptominisat Loading commit data...
examples Loading commit data...
glucose-syrup Loading commit data...
ipasir Loading commit data...
lingeling Loading commit data...
minisat Loading commit data...
picosat Loading commit data...
scripts Loading commit data...
tools Loading commit data...
.gitignore Loading commit data...
CMakeLists.txt Loading commit data...
LICENSE.txt Loading commit data...
LitTuple.cc Loading commit data...
LitTuple.hh Loading commit data...
Makefile Loading commit data...
MySolver.cc Loading commit data...
MySolver.hh Loading commit data...
QuantifiedFormula.cc Loading commit data...
QuantifiedFormula.hh Loading commit data...
README.txt Loading commit data...
ReadException.cc Loading commit data...
ReadException.hh Loading commit data...
ReadQ.cc Loading commit data...
ReadQ.hh Loading commit data...
Reader.cc Loading commit data...
Reader.hh Loading commit data...
SolverOptions.cc Loading commit data...
SolverOptions.hh Loading commit data...
auxiliary.hh Loading commit data...
debug.hh Loading commit data...
dokuconfig Loading commit data...
ipasir.hh Loading commit data...
main.cc Loading commit data...
parse_utils.hh Loading commit data...
qtypes.cc Loading commit data...
qtypes.hh Loading commit data...
readme.txt Loading commit data...