marcvinyals/problemtools
Tools to manage problem packages using the Kattis problem package format.
Developer Profile
marcvinyals
Discovered public repositories for marcvinyals in the GitHub catalog.
marcvinyals/pebble
This computes various pebbling numbers for directed acyclic graphs.
marcvinyals/textbooksat
Interactive SAT solver
marcvinyals/minisat
A minimalistic and high-performance SAT solver
marcvinyals/sos14-handout
Lecture notes for the course "Sum of squares and integer programming relaxations"
marcvinyals/cnfgen
CNF generator in DIMACS format. It produces common families of CNFs.
marcvinyals/polyborisat
Interface for using PolyBoRi as a sat solver