Popular repositories Loading

1. Interface for using PolyBoRi as a sat solver

   Python 3

2. Forked from MassimoLauria/cnfgen

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

   Python 1

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

   TeX 3

5. Interactive SAT solver

   C++

6. Forked from MassimoLauria/pebble

   This computes various pebbling numbers for directed acyclic graphs.

   C