You are here:
Package: cryptominisat4
| Summary: | SAT solver |
|---|---|
| Description: | |
| URL: | http://www.msoos.org/cryptominisat4/ |
| Owner: | jjames |
| Bugzilla: | Active bugs |
| Pagure: | https://src.fedoraproject.org/rpms/cryptominisat4 |
| Koschei: | https://koschei.fedoraproject.org/package/cryptominisat4 |
| Branch | Repository | Version-Release | Owner | Co-maintainers |
|---|---|---|---|---|
| f28 | base | 4.5.3-15.fc28 | ||
| f27 | base | 4.5.3-12.fc27 | ||
| f26 | base | 4.5.3-8.fc26 | ||
| f25 | base | 4.5.3-6.fc25 | ||
| f24 | base | 4.5.3-5.fc24 | ||
| f23 | base | 4.5.3-2.fc23 |