| ID | 10387 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | ethos-0.1.1-1.fc42 | ||||||||||
| Name | ethos | ||||||||||
| Version | 0.1.1 | ||||||||||
| Release | 1.fc42 | ||||||||||
| Epoch | |||||||||||
| Arch | src | ||||||||||
| 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. | ||||||||||
| Build Time | 2025-03-25 11:53:54 GMT | ||||||||||
| Size | 205.71 KB | ||||||||||
| d5116309c66c875f19c3dc1c4d9bf12d | |||||||||||
| License | BSD-3-Clause | ||||||||||
| git:https://github.com/cvc5/ethos.git | |||||||||||
| Provides |
|
||||||||||
| Obsoletes | No Obsoletes | ||||||||||
| Conflicts | No Conflicts | ||||||||||
| Requires |
|
||||||||||
| Recommends | No Recommends | ||||||||||
| Suggests | No Suggests | ||||||||||
| Supplements | No Supplements | ||||||||||
| Enhances | No Enhances | ||||||||||
| Files |
|
||||||||||
| Component of | No Buildroots | ||||||||||
