Package: picosat

Upstream info
Summary: A SAT solver
Description:
URL: https://fmv.jku.at/picosat/
Owner: jjames
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/picosat
Koschei: https://koschei.fedoraproject.org/package/picosat
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 965-28.fc43
EL-9 epel-stable 965-26.el9
EL-8 epel-playground 965-9.epel8.playground
  epel-stable 965-26.el8
EL-7 epel-stable 965-2.el7
EL-6 epel-testing 965-2.el6
  epel-stable 960-2.el6
f43 base 965-28.fc43
f42 updates 965-26.fc42
  base 965-23.fc42
f41 base 965-22.fc41
f40 updates 965-21.fc40
  base 965-20.fc40
f39 base 965-18.fc39
f38 updates 965-17.fc38
  base 965-16.fc38
f37 base 965-15.fc37
f36 base 965-14.fc36
f35 base 965-13.fc35
f34 base 965-12.fc34
f33 base 965-11.fc33
f32 base 965-10.fc32
f31 base 965-9.fc31
f30 base 965-8.fc30
f29 base 965-7.fc29
f28 base 965-6.fc28
f27 base 965-3.fc26
f26 base 965-3.fc26
f25 base 965-2.fc24
f24 base 965-2.fc24
f23 base 960-2.fc23
f22 base 960-1.fc22
f21 base 960-1.fc21
f20 base 957-1.fc20
f19 base 951-2.fc19
f18 base 951-1.fc18
f17 base 936-3.fc17
f16 base 936-2.fc15
f15 base 936-2.fc15
f14 base 913-2.fc13
F-13 base 913-2.fc13
F-12 updates 913-2.fc12
F-11 updates 913-2.fc11