Beast code in Giters

Marc Vinyals's repositories

Interface for using PolyBoRi as a sat solver

Language:Python100

text and course books for CS220 at UoA

Language:PostScript000

appindicator-based tray icon for Claws Mail

Language:C000

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

Language:PythonGPL-3.0000

Frets on Fire X: a fork of Frets on Fire with many added features and capabilities

Language:PythonNOASSERTION000

Updating hyperref

Language:TeX000

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION000

The mv overlay for gentoo

Language:Shell000

This computes various pebbling numbers for directed acyclic graphs.

Language:C000

A PDF conversion and form utility based on pdftk

Language:PHPMIT000

Tools to manage problem packages using the Kattis problem package format.

Language:PythonMIT000

Python interface for igraph

Language:PythonGPL-2.0000

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

Language:TeX000

A collection of JUnit rules for testing code which uses java.lang.System.

Language:JavaNOASSERTION000

Interactive SAT solver

Language:C++000