satchmo-2.9.3: SAT encoding monad
Satchmo.BinaryTwosComplement
module Satchmo.BinaryTwosComplement.Op.Fixed