Crate rate_common

Internal modules for rate

Modules

• assignment
  A propositional assignment
• clause
  Data structures for the checker
• clausedatabase
  Container for clauses
• config
  Compile-time constants
• literal
  Variable and literal representations
• macros
  Macros and other utility code
• memory
  General purpose data structures
• output
  Unified routines to print data
• parser
  DIMACS and DRAT/DPR parser
• sick
  SICK incorrectness certificates

Macros

• as_error
  Print to stdout with red font color.
• as_warning
  Print to stdout with yellow font color.
• comment
  Print to stdout, prefixed by “c “.
• die
  Report a fatal error and exit.
• invariant
  Native assertions cannot be disabled, that’s why why prefer to use this macro.
• puts
  This should be used for every write to stdout.
• requires
  Like invariant, but for preconditions.