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