You are here:
Package: cryptominisat
| Summary: | SAT solver |
|---|---|
| Description: | |
| URL: | https://www.msoos.org/ |
| Owner: | jjames |
| Bugzilla: | Active bugs |
| Pagure: | https://src.fedoraproject.org/rpms/cryptominisat |
| Koschei: | https://koschei.fedoraproject.org/package/cryptominisat |
| Branch | Repository | Version-Release | Owner | Co-maintainers |
|---|---|---|---|---|
| devel | 5.13.0-1.fc43 | |||
| f42 | updates | 5.13.0-1.fc42 | ||
| base | 5.12.1-1.fc42 | |||
| f41 | base | 5.11.22-2.fc41 | ||
| f40 | base | 5.11.21-1.fc40 | ||
| f39 | base | 5.8.0-15.fc39 | ||
| f38 | base | 5.8.0-12.fc38 | ||
| f37 | base | 5.8.0-10.fc37 | ||
| f36 | base | 5.8.0-7.fc36 | ||
| f35 | base | 5.8.0-6.fc35 | ||
| f34 | base | 5.8.0-3.fc34 | ||
| f33 | updates | 5.8.0-1.fc33 | ||
| base | 5.7.1-4.fc33 | |||
| f32 | updates | 5.7.1-1.fc32 | ||
| base | 5.6.8-6.fc32 | |||
| f31 | base | 5.6.8-2.fc31 | ||
| f30 | base | 5.6.8-1.fc30 | ||
| f29 | base | 5.6.4-1.fc29 | ||
| f28 | updates | 5.6.4-1.fc28 | ||
| base | 5.0.1-3.fc28 | |||
| f27 | base | 2.9.11-5.fc27 | ||
| f26 | base | 2.9.11-3.fc26 | ||
| f25 | base | 2.9.11-1.fc25 | ||
| f24 | base | 2.9.11-1.fc24 | ||
| f23 | base | 2.9.10-1.fc23 | ||
| f22 | base | 2.9.9-4.fc22 | ||
| f21 | base | 2.9.9-3.fc21 | ||
| f20 | updates | 2.9.9-1.fc20 | ||
| base | 2.9.8-1.fc20 | |||
| f19 | base | 2.9.6-1.fc19 | ||
| f18 | base | 2.9.5-1.fc18 | ||
| f17 | base | 2.9.3-1.fc17 | ||
| f16 | updates | 2.9.3-1.fc16 |