Popular repositories Loading

1. qute qute Public

   Qute: a dependency learning QBF solver.

   C++ 14 4

2. pedant-solver pedant-solver Public

   A DQBF solver leveraging definability.

   C++ 9

3. unique unique Public

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

   C++ 3 2

4. cadical-definitions cadical-definitions Public

   Library for extracting definitions with Cadical

   C++ 3

5. miniQU miniQU Public

   A QCDCL Solver based on MiniSAT

   C++ 2 1

6. minisat minisat Public

   MiniSAT with Interpolant Generation

   C++ 1