|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages | |
|---|---|
| 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.fol2sat.ordering | |
| kodkod.engine.satlab | Provides access to various Java and C++ SAT solvers through a common SAT Solver interface. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||