Module sat_rs::notation

source ·
Expand description

Collection of structs representing the notation used in the SAT solver

  • Literal - A struct representing a literal (atom)
  • Clause - A struct representing a clause
  • Formula - A struct representing a propositional formula

Structs

  • Clause
    Struct representing a Clause
  • Formula
    Struct representing a Propositional Formula
  • Literal
    Struct representing a Literal. Also known as an atom.