satchmo-2.6.0: SAT encoding monad
Satchmo.SMT.Exotic.Semiring
module Satchmo.SMT.Exotic.Semiring.Class