SAT4J maxsat 2.2.0 API

User level: stable public API
org.sat4j.maxsat MAXSAT and Weighted Max SAT framework.
org.sat4j.maxsat.reader Some utility classes to read problems from plain text files.

 



Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.