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