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.