fslivovsky/unique fslivovsky/unique

  • Stars
    star
    2
  • Language
    C++
  • Created almost 4 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fslivovsky/unique
github

fslivovsky

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

qute

Qute: a dependency learning QBF solver.
C++
12
star
2

pedant-solver

A DQBF solver leveraging definability.
C++
5
star
3

miniQU

A QCDCL Solver based on MiniSAT
C++
1
star
4

minisat

MiniSAT with Interpolant Generation
C++
1
star
5

ferpmodels

FERPModels with Strategy Extraction by Interpolation
C
1
star