You are here:
Package: eqp
| Summary: | Automated theorem prover for first-order equational logic |
|---|---|
| Description: | |
| URL: | http://www.cs.unm.edu/~mccune/eqp/ |
| Owner: | jcp |
| Bugzilla: | Active bugs |
| Pagure: | https://src.fedoraproject.org/rpms/eqp |
| Koschei: | https://koschei.fedoraproject.org/package/eqp |
| Branch | Repository | Version-Release | Owner | Co-maintainers |
|---|---|---|---|---|
| f38 | base | 09e-20.fc38 | ||
| f37 | base | 09e-19.fc37 | ||
| f36 | base | 09e-18.fc36 | ||
| f35 | base | 09e-17.fc35 | ||
| f34 | base | 09e-16.fc34 | ||
| f33 | base | 09e-15.fc33 | ||
| f32 | testing | 09e-14.fc32 | ||
| base | 09e-14.fc32 | |||
| f31 | base | 09e-12.fc31 | ||
| f30 | base | 09e-11.fc30 | ||
| f29 | base | 09e-10.fc29 | ||
| f28 | base | 09e-9.fc28 | ||
| f27 | base | 09e-7.fc27 | ||
| f26 | base | 09e-5.fc26 | ||
| f25 | updates | 09e-5.fc25 |