Module cop::nano::search

source ·
Expand description

Nonclausal proof search.

Structs

  • Opt
    Search options.
  • Search
    State of the proof search.

Enums

  • Action
    Proof step or future action.
  • Task
    The current (rest of a) clause we’re working on.

Type Aliases