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.