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
defer_log
die
invariant
log	Print a formatted message based on verbosity level
requires
warn
write_to_stdout	This should be used for every write to stdout.