You are here:
Show more informations from pkgdb
Summary: | Minimalistic SAT solver |
---|---|
Description: | |
URL: | http://minisat.se/ |
Owner: | jjames |
Bugzilla: | Active bugs |
Pagure: | https://src.fedoraproject.org/rpms/minisat2 |
Koschei: | https://koschei.fedoraproject.org/package/minisat2 |
Branch | Repository | Version-Release | Owner | Co-maintainers |
---|---|---|---|---|
devel | 2.2.1-19.fc40 | |||
f40 | base | 2.2.1-19.fc40 | ||
f39 | base | 2.2.1-17.fc39 | ||
f38 | base | 2.2.1-16.fc38 | ||
f37 | base | 2.2.1-15.fc37 | ||
f36 | base | 2.2.1-14.fc36 | ||
f35 | base | 2.2.1-13.fc35 | ||
f34 | base | 2.2.1-12.fc34 | ||
f33 | base | 2.2.1-11.fc33 | ||
f32 | base | 2.2.1-9.fc32 | ||
f31 | base | 2.2.1-8.fc31 | ||
f30 | base | 2.2.1-7.fc30 | ||
f29 | base | 2.2.1-6.fc29 | ||
f28 | base | 2.2.1-4.fc27 | ||
f27 | base | 2.2.1-4.fc27 | ||
f26 | base | 2.2.1-2.fc26 | ||
f25 | base | 2.2.1-1.fc25 | ||
f24 | base | 2.2.1-1.fc24 | ||
f23 | base | 2.2.0-12.fc23 | ||
f22 | base | 2.2.0-11.fc22 | ||
f21 | base | 2.2.0-9.fc21 | ||
f20 | base | 2.2.0-7.fc20 | ||
f19 | updates | 2.2.0-6.fc19 | ||
base | 2.2.0-5.fc19 | |||
f18 | updates | 2.2.0-5.fc18 | ||
base | 2.2.0-3.fc18 | |||
f17 | updates | 2.2.0-5.fc17 | ||
base | 2.2.0-2.fc17 | |||
f16 | base | 2.2.0-1.fc16 | ||
f15 | updates | 2.2.0-1.fc15 | ||
base | 2.0-10.20070721.fc15 | |||
f14 | base | 2.0-9.20070721.fc12 | ||
F-13 | base | 2.0-9.20070721.fc12 | ||
F-12 | base | 2.0-9.20070721.fc12 | ||
F-11 | base | 2.0-8.20070721.fc11 | ||
F-9 | updates | 2.0-7.20070721.fc9 | ||
F-8 | updates | 2.0-7.20070721.fc8 |