satchmo-1.1.1: SAT encoding monad

Satchmo.Binary

Documentation