Expand description
Nonclausal proof search à la nanoCoP.
Re-exports
Modules
- Nonclausal clauses.
- Nonclausal proof search.
Structs
- Nonclausal contrapositive for a literal
lit
with some inferred information about it.
Enums
- A full proof for a litmat, including subproofs.
Type Aliases
- Nonclausal database.
- A matrix of nonclausal clauses.