Module rsat::common

Common utils.

Structs

Clause	A Clause.
Lit	A literal.

Enums

LBool	A Lifted boolean.
Solution	Solution to the SAT Formula.

Type Definitions

Var	A variable.