| Name : ethos
| |
| Version : 0.1.1
| Vendor : Fedora Project
|
| Release : 1.fc42
| Date : 2025-01-30 20:12:01
|
| Group : Unspecified
| Source RPM : ethos-0.1.1-1.fc42.src.rpm
|
| Size : 0.50 MB
| |
| Packager : Fedora Project
| |
| 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.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/x86_64/os/Packages/e |
