satchmo-1.9.1: SAT encoding monad

Satchmo.Relation

Documentation

module Satchmo.Relation.Data

module Satchmo.Relation.Op

module Satchmo.Relation.Prop