satchmo-2.9.5: SAT encoding monad
Satchmo.Relation
module Satchmo.Relation.Data
module Satchmo.Relation.Op
module Satchmo.Relation.Prop