mrs

Dependencies (15)

• burn ^0.21.0
• mimalloc ^0.1
• mrs-cadical ^0.2.3
• mrs-calculus ^0.2.3
• mrs-cnf ^0.2.3
• mrs-core ^0.2.3
• mrs-proof ^0.2.3
• mrs-proof-kernel ^0.2.3

+ 7 more

Dependencies (13)

• burn ^0.21.0
• cadical ^0.1.16
• mimalloc ^0.1
• mrs-calculus ^0.2.2
• mrs-cnf ^0.2.2
• mrs-core ^0.2.2
• mrs-proof ^0.2.2
• mrs-search ^0.2.2

+ 5 more

Dependencies (8)

• cadical ^0.1.16
• mrs-calculus ^0.1.9
• mrs-cnf ^0.1.9
• mrs-core ^0.1.9
• mrs-search ^0.1.9
• mrs-szs ^0.1.9
• mrs-tptp ^0.1.9
• mrs-unify ^0.1.9

Dependencies (8)

• mrs-calculus ^0.1.8
• mrs-cnf ^0.1.8
• mrs-core ^0.1.8
• mrs-search ^0.1.8
• mrs-szs ^0.1.8
• mrs-tptp ^0.1.8
• mrs-unify ^0.1.8
• varisat ^0.2.2

Dependencies (8)

• mrs-calculus ^0.1.2
• mrs-cnf ^0.1.2
• mrs-core ^0.1.2
• mrs-search ^0.1.2
• mrs-szs ^0.1.2
• mrs-tptp ^0.1.2
• mrs-unify ^0.1.2
• varisat ^0.2.2

Dependencies (8)

• mrs-calculus ^0.1.0
• mrs-cnf ^0.1.0
• mrs-core ^0.1.0
• mrs-proof ^0.1.0
• mrs-search ^0.1.0
• mrs-szs ^0.1.0
• mrs-tptp ^0.1.0
• mrs-unify ^0.1.0

Dependencies (8)

• mrs-calculus ^0.1.0
• mrs-cnf ^0.1.0
• mrs-core ^0.1.0
• mrs-proof ^0.1.0
• mrs-search ^0.1.0
• mrs-szs ^0.1.0
• mrs-tptp ^0.1.0
• mrs-unify ^0.1.0

Dependencies (8)

• mrs-calculus ^0.1.0
• mrs-cnf ^0.1.0
• mrs-core ^0.1.0
• mrs-proof ^0.1.0
• mrs-search ^0.1.0
• mrs-szs ^0.1.0
• mrs-tptp ^0.1.0
• mrs-unify ^0.1.0