mrs-proover

Dependencies (9)

• libc ^0.2
• mrs-cadical ^0.2.3
• mrs-cnf ^0.2.3
• mrs-core ^0.2.3
• mrs-proof-kernel ^0.2.3
• mrs-search ^0.2.3
• mrs-tptp ^0.2.3
• mrs-unify ^0.2.3

+ 1 more

Dependencies (5)

• cadical ^0.1.16
• mrs-cnf ^0.1.9
• mrs-core ^0.1.9
• mrs-search ^0.1.9
• mrs-tptp ^0.1.9

Dependencies (4)

• mrs-cnf ^0.1.8
• mrs-core ^0.1.8
• mrs-tptp ^0.1.8
• varisat ^0.2.2