| Package | Description |
|---|---|
| org.sat4j.reader |
| Class and Description |
|---|
| CSPReader
This class is a CSP to SAT translator that is able to read a CSP problem
using the First CSP solver competition input format and that translates it
into clausal and cardinality (equality) constraints.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.