Crate rate_common

Internal modules for rate

Modules

assignment	A propositional assignment
clause	Data structures for the checker
clausedatabase	Container for clauses
config
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

_log	Implementation of log.
comment	Print to stdout, prefixed by "c ".
defer_log	Print something upon scope exit.
die	Report a fatal error and exit.
invariant	Native assertions cannot be disabled, that's why why prefer to use this macro.
log	Print a formatted message based on verbosity level
requires	Like invariant, but for preconditions.
warn	Print to stdout with red font color.
write_to_stdout	This should be used for every write to stdout.