The latest version of toysolver is 0.8.1-1.
exe:toysat
Dependencies
- OptDir lib:OptDir >=0
- array lib:array >=0
- base lib:base >=4.5 && >=4 && <5
- bytestring lib:bytestring >=0
- containers lib:containers >=0.4.2
- filepath lib:filepath >=0
- mtl lib:mtl >=0
- old-locale lib:old-locale >=0
- parse-dimacs lib:parse-dimacs >=0
- parsec lib:parsec >=0
- queue lib:queue >=0
- random lib:random >=0
- time lib:time >=0
Reverse dependencies
None.