Popular repositories Loading

1. qute qute Public

   Qute: a dependency learning QBF solver.

   C++ 12 4

2. pedant-solver pedant-solver Public

   A DQBF solver leveraging definability.

   C++ 8

3. unique unique Public

   A tool for extracting unique Skolem (and Herbrand) functions of Quantified Boolean Formulas using propositional interpolation.

   C++ 2 1

4. minisat minisat Public

   MiniSAT with Interpolant Generation

   C++ 1

5. miniQU miniQU Public

   A QCDCL Solver based on MiniSAT

   C++ 1 1

6. ferpmodels ferpmodels Public

   FERPModels with Strategy Extraction by Interpolation

   C 1