gooseproject/main — Issue #503: NEW REPO: sat4j
Author: herlo
Created: 2011-11-27 04:12:57+00:00
State: open
Labels: new repo

Reason for inclusion: Upstream DVD
====
Summary: A library of SAT solvers written in Java
URL: http://www.sat4j.org/
Branches: gl6
====