Packages |
kodkod.ast |
Contains classes for creating Kodkod formulas, expressions,
and integer expressions. |
kodkod.ast.visitor |
Contains visitors for Kodkod formulas, expressions, and integer expressions. |
kodkod.engine |
Provides classes for analyzing and evaluating Kodkod ASTs with
respect to finite bounds or instances. |
kodkod.engine.bool |
Provides classes for constructing and composing boolean matrices, boolean circuits, and
boolean representations of integers. |
kodkod.engine.config |
Provides a mechanism for configuring the kodkod engine and for passing messages
between the engine and the client. |
kodkod.engine.fol2sat |
Provides a facade for translating, evaluating, and approximating Kodkod
formulas, expressions, and int expressions with respect to a given Bounds
(or Instance) and Options. |
kodkod.engine.satlab |
Provides access to various Java and C++ SAT solvers through a
common SAT Solver interface. |
kodkod.engine.ucore |
Contains strategies for minimizing unsatisfiable cores generated by SAT provers. |
kodkod.instance |
Contains classes for creating tuples, sets of tuples, bounds, and instances
drawn from a finite universe of uninterpreted atoms. |
kodkod.util.collections |
Contains specialized collections, such as a set that provides methods for
retrieving elements with a particular hashcode. |
kodkod.util.ints |
Provides implementations of ordered collections for storing integer primitives. |
nativesolver |
|