The Ethos checker is an efficient and extensible tool for checking proofs of Satisfiability Modulo Theories (SMT) solvers.
ethos-0.1.0-1.fc42.src.rpm
For the purpose of submitting this package to Fedora, here is the RPM spec file.