The latest version of toysolver is 0.8.1-1.
exe:toyfmf
Dependencies
- base lib:base >=0
- containers lib:containers >=0
- intern lib:intern >=0
- logic-TPTP lib:logic-TPTP >=0.4.6.0 && >=0.4.5.0 && >=0.4.4.0
- optparse-applicative lib:optparse-applicative >=0
- text lib:text >=0
- toysolver lib:toysolver >=0
- transformers-compat lib:transformers-compat <0.5
Reverse dependencies
None.