SMTtoTPTP
From MaRDI portal
Software:25564
No author found.
Related Items (4)
Beagle – A Hierarchic Superposition Theorem Prover ⋮ Solving quantified linear arithmetic by counterexample-guided instantiation ⋮ The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 ⋮ Automated deduction -- CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1--7, 2015. Proceedings
This page was built for software: SMTtoTPTP
