@hackage sat-micro-hs dependencies

6 results

executable:sat-micro (6 dependencies)

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/pretty

Pretty-printing library

@hackage/parse-dimacs

DIMACS CNF parser library

@hackage/haskell98

Compatibility with Haskell 98