satchmo-2.9.6: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Counting

Description

Re-exports Satchmo.Counting.Unary for backwards compatibility.

Documentation