satchmo-1.8.0: SAT encoding monad

Satchmo.Binary

Documentation

module Satchmo.Binary.Op.Flexible