satchmo-1.4: SAT encoding monad

Satchmo.Relation

Documentation

module Satchmo.Relation.Data

module Satchmo.Relation.Op

module Satchmo.Relation.Prop