Contains classes for creating Kodkod formulas, expressions, and integer expressions.
Contains operators for Kodkod formulas, expressions, and integer expressions.
Contains visitors for Kodkod formulas, expressions, and integer expressions.
Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances.
Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers.
Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client.
Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to a given Bounds (or Instance) and Options.
Provides access to various Java and C++ SAT solvers through a common SAT Solver interface.
Contains strategies for minimizing unsatisfiable cores generated by SAT provers.
Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms.
Contains specialized collections, such as a set that provides methods for retrieving elements with a particular hashcode.
Provides implementations of ordered collections for storing integer primitives.
Provides utility methods for constructing, analyzing, and pretty printing Kodkod nodes.
© Emina Torlak 2005-2012