Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers.

Package Specification

Contains classes that represent {@linkplain kodkod.engine.bool.BooleanMatrix boolean matrices}, {@linkplain kodkod.engine.bool.BooleanValue boolean circuits}, and {@linkplain kodkod.engine.bool.Int boolean representation of integers}. Matrices, circuits, and integers are constructed via factory methods of the {@linkplain kodkod.engine.bool.BooleanFactory} class.

Related Documentation

@see kodkod.engine.bool.BooleanFactory @see kodkod.engine.bool.BooleanValue @see kodkod.engine.bool.BooleanMatrix @see kodkod.engine.bool.Int