You are here:
Package: cvc4
| Summary: | Automatic theorem prover for SMT problems |
|---|---|
| Description: | |
| URL: | https://cvc4.github.io/ |
| Owner: | jjames (jjames) |
| Bugzilla: | Active bugs |
| Pagure: | https://src.fedoraproject.org/rpms/cvc4 |
| Koschei: | https://koschei.fedoraproject.org/package/cvc4 |
| Branch | Repository | Version-Release | Owner | Co-maintainers |
|---|---|---|---|---|
| f38 | base | 1.8-15.fc38 | ||
| f37 | updates | 1.8-13.fc37 | ||
| base | 1.8-12.fc37 | |||
| f36 | base | 1.8-9.fc36 | ||
| f35 | base | 1.8-7.fc35 | ||
| f34 | updates | 1.8-5.fc34 | ||
| base | 1.8-4.fc34 | |||
| f33 | updates | 1.8-2.fc33 | ||
| base | 1.8-1.fc33 | |||
| f32 | updates | 1.7-9.fc32 | ||
| base | 1.7-8.fc32 | |||
| f31 | testing | 1.7-6.fc31 | ||
| base | 1.7-6.fc31 | |||
| f30 | updates | 1.7-3.fc30 | ||
| base | 1.6-6.fc30 | |||
| f29 | base | 1.6-2.fc29 | ||
| f28 | base | 1.5-6.fc28 | ||
| f27 | base | 1.5-4.fc27 | ||
| f26 | updates | 1.5-1.fc26 | ||
| base | 1.4-15.fc26 | |||
| f25 | base | 1.4-11.fc25 | ||
| f24 | base | 1.4-11.fc24 | ||
| f23 | base | 1.4-7.fc23 | ||
| f22 | base | 1.4-3.fc22 | ||
| f21 | base | 1.3-7.fc21 | ||
| f20 | updates | 1.3-4.fc20 |