Pinned Repositories
avy
Avy as required by Unique
definabilitychecker
depqbf-python
C++ and Python Bindings for DepQBF
EvalMaxSAT
ferpmodels
FERPModels with Strategy Extraction by Interpolation
miniQU
A QCDCL Solver based on MiniSAT
minisat
MiniSAT with Interpolant Generation
pedant-solver
A DQBF solver leveraging definability.
qute
Qute: a dependency learning QBF solver.
unique
A tool for extracting unique Skolem (and Herbrand) functions of Quantified Boolean Formulas using propositional interpolation.
fslivovsky's Repositories
fslivovsky/qute
Qute: a dependency learning QBF solver.
fslivovsky/pedant-solver
A DQBF solver leveraging definability.
fslivovsky/unique
A tool for extracting unique Skolem (and Herbrand) functions of Quantified Boolean Formulas using propositional interpolation.
fslivovsky/ferpmodels
FERPModels with Strategy Extraction by Interpolation
fslivovsky/miniQU
A QCDCL Solver based on MiniSAT
fslivovsky/minisat
MiniSAT with Interpolant Generation
fslivovsky/qbf-hands-on
C++ and Python Bindings for DepQBF
fslivovsky/avy
Avy as required by Unique
fslivovsky/definabilitychecker
fslivovsky/EvalMaxSAT
fslivovsky/fslivovsky.github.io
Personal Website
fslivovsky/interpolatingsolver
Interface to Interpolating Version of MiniSAT used by Unique
fslivovsky/radical
CaDiCaL SAT Solver with LRAT proofs
fslivovsky/radical-interpolation
Propositional Interpolation with LRAT Proofs Generated by Radical
fslivovsky/satlive-website
SAT Live! web site