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.