| ID | 2209 | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | ethos | |||||||||||
| Version | 0.1.1 | |||||||||||
| Release | 1.fc42 | |||||||||||
| Epoch | Draft | False | ||||||||||
| Summary | Flexible and efficient proof checker for SMT solvers | |||||||||||
| Description | The Ethos checker is an efficient and extensible tool for checking proofs of Satisfiability Modulo Theories (SMT) solvers. | |||||||||||
| git:https://github.com/cvc5/ethos.git | ||||||||||||
| Built by | davidlt | |||||||||||
| State | complete | |||||||||||
| Volume | DEFAULT | |||||||||||
| Started | Mon, 09 Jun 2025 16:12:49 UTC | |||||||||||
| Completed | Mon, 09 Jun 2025 16:12:49 UTC | |||||||||||
| Tags |
|
|||||||||||
| RPMs |
|
|||||||||||
| Changelog | * Thu Jan 30 2025 Jerry James <loganjerry@gmail.com> - 0.1.1-1 - Initial RPM |