pmatos/maxsatzilla
A portfolio solver for the MaxSAT problem.
Developer Profile
pmatos
Discovered public repositories for pmatos in the GitHub catalog.
pmatos/eboc
EventB Model Checker
pmatos/sic
Public repository.
pmatos/dupfi
Duplicate Finder
pmatos/creduce
C-Reduce, a C program reducer
pmatos/beamerthemeLleida
Lleida Theme for LaTeX Beamer
pmatos/boomerang
Fork of Boomerang Decompiler (08-08-2011)
pmatos/gitpy
Python bindings for the Git source control system