Module cop::nano

Nonclausal proof search à la nanoCoP.

Re-exports

• pub use clause::Clause;
• pub use search::Search;

Modules

• clause
  Nonclausal clauses.
• search
  Nonclausal proof search.

Structs

• PreCp
  Nonclausal contrapositive for a literal lit with some inferred information about it.

Enums

• Proof
  A full proof for a litmat, including subproofs.

Type Aliases

• Db
  Nonclausal database.
• Matrix
  A matrix of nonclausal clauses.