SAT4J pseudo 2.3.3 API

User level: stable public API 
Package Description
org.sat4j.pb
Implementations of pseudo boolean solvers
Developer level: internal API, subject to change 
Package Description
org.sat4j.pb.constraints
Implementation of data structures for pseudo boolean constraints.
org.sat4j.pb.constraints.pb
Implementations of pseudo boolean constraints.
org.sat4j.pb.core
Implementations of pseudo boolean solvers
org.sat4j.pb.orders
Various heuristics for the next variable to branch on.
org.sat4j.pb.reader
Readers for opb instances.
org.sat4j.pb.tools
Implementation of different tools for pseudo boolean solvers

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