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