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.5
- optparse-applicative lib:optparse-applicative >=0
- text lib:text >=0
- toysolver lib:toysolver >=0
Reverse dependencies
None.