Expand description
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.