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