satchmo-2.9.9.4: SAT encoding monad
Safe HaskellSafe-Inferred
LanguageHaskell2010

Satchmo.Counting

Description

Re-exports Satchmo.Binary.Counting because that implementation seems best overall.

Documentation

module Satchmo.Counting.Binary