satchmo-1.8.1: SAT encoding monad

Satchmo.Binary

Documentation

module Satchmo.Binary.Op.Flexible