@hackage/incremental-sat-solver
Simple, Incremental SAT Solving as a Library
@hackage/base
Core data structures and operations
@hackage/HUnit
A unit testing framework for Haskell
@hackage/syb
Scrap Your Boilerplate
@hackage/mtl
Monad classes for transformers, using functional dependencies
@hackage/control-monad-omega
A breadth-first list monad.
@hackage/containers
Assorted concrete container types
@hackage/level-monad
Non-Determinism Monad for Level-Wise Search
@hackage/MonadRandom
Random-number generation monad.
@hackage/logict
A backtracking logic-programming monad.
@hackage/value-supply
A library for generating values without having to thread state.
@hackage/random
Pseudo-random number generation
@hackage/stream-monad
Simple, Fair and Terminating Backtracking Monad