satchmo-1.9.1: SAT encoding monad

Satchmo.Binary

Documentation

module Satchmo.Binary.Op.Flexible