Re-exports§
pub use self::property::*;
Modules§
Structs§
- storage with mapper to
ClauseId
of binary links - Struct for saving UNSAT certification
- A representation of ‘clause’
- Clause database
- Clause identifier, or clause index, starting with one. Note: ids are re-used after ‘garbage collection’.
Enums§
Traits§
- API for Clause, providing literal accessors.
- API for Clause Id.
Type Aliases§
- storage of binary links