lib:funsat
Modules
- Control.Monad.MonadST
- Funsat.Circuit
- Funsat.Monad
- Funsat.Resolution
- Funsat.Solver
- Funsat.Types
- Funsat.Types.Internal
- Text.Tabular
Dependencies
- array lib:array >=0
- base lib:base >=0
- bimap lib:bimap >=0.2 && <0.3
- bitset lib:bitset >=1 && <2
- containers lib:containers >=0
- fgl lib:fgl >=0
- mtl lib:mtl >=0
- parse-dimacs lib:parse-dimacs >=1.2 && <2
- pretty lib:pretty >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- satchmo-funsat lib:satchmo-funsat