Module common
rsat
Common utils.
A Clause.
A literal.
A Lifted boolean.
Solution to the SAT Formula.
A variable.