SAT4J maxsat 2.3.1 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 © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.