Marc Vinyals's repositories
polyborisat
Interface for using PolyBoRi as a sat solver
220-books
text and course books for CS220 at UoA
claws-mail-indicator
appindicator-based tray icon for Claws Mail
cnfgen
CNF generator in DIMACS format. It produces common families of CNFs.
fofix
Frets on Fire X: a fork of Frets on Fire with many added features and capabilities
hyperref
Updating hyperref
minisat
A minimalistic and high-performance SAT solver
mv-overlay
The mv overlay for gentoo
pebble
This computes various pebbling numbers for directed acyclic graphs.
php-pdftk
A PDF conversion and form utility based on pdftk
problemtools
Tools to manage problem packages using the Kattis problem package format.
python-igraph
Python interface for igraph
sos14-handout
Lecture notes for the course "Sum of squares and integer programming relaxations"
system-rules
A collection of JUnit rules for testing code which uses java.lang.System.
textbooksat
Interactive SAT solver