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