Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client.

Package Specification

Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. The class {@linkplain kodkod.engine.config.Options} stores information about various user-level translation and analysis options. It can be used to choose the SAT solver, control symmetry breaking, etc. The interface {@linkplain kodkod.engine.config.Reporter} enables passing of messages between the kodkod engine and the client via callback methods.

Related Documentation

@see kodkod.engine.config.Options @see kodkod.engine.config.Reporter