satchmo-1.4: SAT encoding monad

Satchmo.Binary

Documentation

module Satchmo.Binary.Op.Flexible