[−][src]Crate boolector

Modules

This module exposes options which can be set on a Btor instance.

Array	An `Array` in Boolector is really just a map from `BV`s to `BV`s.
BV	A bitvector object.
BVSolution	A `BVSolution` represents a possible solution for one `BV` in a given model.
Btor	A `Btor` represents an instance of the Boolector solver. Each `BV` and `Array` is created in a particular `Btor` instance.