satchmo-1.3: SAT encoding monad

Satchmo.Relation

Documentation

module Satchmo.Relation.Data

module Satchmo.Relation.Op

module Satchmo.Relation.Prop