The latest version of sat-micro-hs is 0.1.1-0.
exe:sat-micro
Dependencies
- base lib:base >=0
- containers lib:containers >=0
- haskell98 lib:haskell98 >=0
- mtl lib:mtl >=0
- parse-dimacs lib:parse-dimacs >=0
- pretty lib:pretty >=0
Reverse dependencies
None.
None.