exe:toyfmf

Dependencies

• base lib:base >=4 && <5
• containers lib:containers >=0.4.2
• logic-TPTP lib:logic-TPTP >=0
• toysolver lib:toysolver >=0

Reverse dependencies

None.