satchmo-1.8.0: SAT encoding monad

Satchmo.Relation

Documentation

module Satchmo.Relation.Data

module Satchmo.Relation.Op

module Satchmo.Relation.Prop