The latest version of toysolver is 0.8.1-1.
exe:toyqbf
Dependencies
- base lib:base >=0
- containers lib:containers >=0
- data-default-class lib:data-default-class >=0
- optparse-applicative lib:optparse-applicative >=0
- toysolver lib:toysolver >=0
Reverse dependencies
None.