Package: minisat2

Upstream info
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
Packages available in Fedora Repositories
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