| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Satchmo.Counting
Description
Re-exports Satchmo.Counting.Unary
for backwards compatibility.
Documentation
module Satchmo.Counting.Unary
satchmo-2.9.1: SAT encoding monad
| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Satchmo.Counting
Description
Re-exports Satchmo.Counting.Unary
for backwards compatibility.
module Satchmo.Counting.Unary