Popular repositories Loading

1. polyborisat polyborisat Public

   Interface for using PolyBoRi as a sat solver

   Python 3

2. cnfgen cnfgen Public

   Forked from MassimoLauria/cnfgen

   CNF generator in DIMACS format. It produces common families of CNFs.

   Python 1

3. sos14-handout sos14-handout Public

   Lecture notes for the course "Sum of squares and integer programming relaxations"

   TeX 3

4. minisat minisat Public

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver

   C++

5. textbooksat textbooksat Public

   Interactive SAT solver

   C++

6. pebble pebble Public

   Forked from MassimoLauria/pebble

   This computes various pebbling numbers for directed acyclic graphs.

   C