Kodkod API

Packages

Package	Description
kodkod.ast	Contains classes for creating Kodkod formulas, expressions, and integer expressions.
kodkod.ast.operator	Contains operators for 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.
kodkod.util.nodes	Provides utility methods for constructing, analyzing, and pretty printing Kodkod nodes.