This repository was created to collect logic solvers.
- Prover9 is developed by William McCune and can be found at Prover9 and Mace4.
- The modifications to the Makefile in
/provers.srcare aimed at resolving the 'round' function error for specific GCC compiler versions. This modification is based on solutions such as the one discussed in this Stack Overflow post.
All rights to the source code and associated documentation belong to their respective original authors. The modifications are provided for convenience and do not claim any rights over the original work.