| Package | Description |
|---|---|
| org.sat4j.maxsat |
MAXSAT and Weighted Max SAT framework.
|
| org.sat4j.maxsat.reader |
Some utility classes to read problems from plain text files.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.