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