Monadoc
Search
Home
toysolver
0.0.5-0
exe:pbconvert
The latest version of toysolver is
0.8.1-1
.
exe:pbconvert
Dependencies
base
lib:base >=4 && <5
containers
lib:containers >=0
filepath
lib:filepath >=0
parse-dimacs
lib:parse-dimacs >=0
toysolver
lib:toysolver >=0
Reverse dependencies
None.