Package: glueminisat

Upstream info
Summary: Boolean SAT solver that implements literal blocks distance (LBD)
Description:
URL: http://glueminisat.nabelab.org/
Owner: jcp
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/glueminisat
Koschei: https://koschei.fedoraproject.org/package/glueminisat
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
f30 base 2.2.8-7.fc29
f29 base 2.2.8-7.fc29
f28 base 2.2.8-6.fc28
f27 base 2.2.8-5.fc27
f26 base 2.2.8-3.fc26
f25 base 2.2.8-2.fc24
f24 base 2.2.8-2.fc24
f23 updates 2.2.8-1.fc23
  base 2.2.7-5.fc23
f22 base 2.2.7-3.fc22
f21 base 2.2.7-3.fc21
f20 base 2.2.7-1.fc20
f19 base 2.2.5-5.fc19
f18 base 2.2.5-4.fc18
f17 updates 2.2.5-3.fc17
f16 updates 2.2.5-3.fc16
f15 updates 2.2.5-3.fc15