Package | Summary | Distribution | Download |
picosat-965-21.fc41.aarch64.html | A SAT solver | Fedora Rawhide for aarch64 | picosat-965-21.fc41.aarch64.rpm |
picosat-965-21.fc41.ppc64le.html | A SAT solver | Fedora Rawhide for ppc64le | picosat-965-21.fc41.ppc64le.rpm |
picosat-965-21.fc41.s390x.html | A SAT solver | Fedora Rawhide for s390x | picosat-965-21.fc41.s390x.rpm |
picosat-965-21.fc41.x86_64.html | A SAT solver | Fedora Rawhide for x86_64 | picosat-965-21.fc41.x86_64.rpm |
picosat-965-21.fc40.aarch64.html | A SAT solver | Fedora 40 testing updates for aarch64 | picosat-965-21.fc40.aarch64.rpm |
picosat-965-21.fc40.x86_64.html | A SAT solver | Fedora 40 testing updates for x86_64 | picosat-965-21.fc40.x86_64.rpm |
picosat-965-21.el9.aarch64.html | A SAT solver | EPEL 9 Testing for aarch64 | picosat-965-21.el9.aarch64.rpm |
picosat-965-21.el9.ppc64le.html | A SAT solver | EPEL 9 Testing for ppc64le | picosat-965-21.el9.ppc64le.rpm |
picosat-965-21.el9.s390x.html | A SAT solver | EPEL 9 Testing for s390x | picosat-965-21.el9.s390x.rpm |
picosat-965-21.el9.x86_64.html | A SAT solver | EPEL 9 Testing for x86_64 | picosat-965-21.el9.x86_64.rpm |
picosat-965-21.el8.aarch64.html | A SAT solver | EPEL 8 Testing for aarch64 | picosat-965-21.el8.aarch64.rpm |
picosat-965-21.el8.ppc64le.html | A SAT solver | EPEL 8 Testing for ppc64le | picosat-965-21.el8.ppc64le.rpm |
picosat-965-21.el8.s390x.html | A SAT solver | EPEL 8 Testing for s390x | picosat-965-21.el8.s390x.rpm |
picosat-965-21.el8.x86_64.html | A SAT solver | EPEL 8 Testing for x86_64 | picosat-965-21.el8.x86_64.rpm |
picosat-965-20.fc40.aarch64.html | A SAT solver | Fedora 40 for aarch64 | picosat-965-20.fc40.aarch64.rpm |
picosat-965-20.fc40.ppc64le.html | A SAT solver | Fedora 40 for ppc64le | picosat-965-20.fc40.ppc64le.rpm |
picosat-965-20.fc40.s390x.html | A SAT solver | Fedora 40 for s390x | picosat-965-20.fc40.s390x.rpm |
picosat-965-20.fc40.x86_64.html | A SAT solver | Fedora 40 for x86_64 | picosat-965-20.fc40.x86_64.rpm |
picosat-965-18.fc39.aarch64.html | A SAT solver | Fedora 39 for aarch64 | picosat-965-18.fc39.aarch64.rpm |
picosat-965-18.fc39.ppc64le.html | A SAT solver | Fedora 39 for ppc64le | picosat-965-18.fc39.ppc64le.rpm |
picosat-965-18.fc39.s390x.html | A SAT solver | Fedora 39 for s390x | picosat-965-18.fc39.s390x.rpm |
picosat-965-18.fc39.x86_64.html | A SAT solver | Fedora 39 for x86_64 | picosat-965-18.fc39.x86_64.rpm |
picosat-965-17.fc38.aarch64.html | A SAT solver | Fedora 38 updates for aarch64 | picosat-965-17.fc38.aarch64.rpm |
picosat-965-17.fc38.x86_64.html | A SAT solver | Fedora 38 updates for x86_64 | picosat-965-17.fc38.x86_64.rpm |
picosat-965-17.el9.aarch64.html | A SAT solver | EPEL 9 for aarch64 | picosat-965-17.el9.aarch64.rpm |
picosat-965-17.el9.ppc64le.html | A SAT solver | EPEL 9 for ppc64le | picosat-965-17.el9.ppc64le.rpm |
picosat-965-17.el9.s390x.html | A SAT solver | EPEL 9 for s390x | picosat-965-17.el9.s390x.rpm |
picosat-965-17.el9.x86_64.html | A SAT solver | EPEL 9 for x86_64 | picosat-965-17.el9.x86_64.rpm |
picosat-965-17.el8.aarch64.html | A SAT solver | EPEL 8 for aarch64 | picosat-965-17.el8.aarch64.rpm |
picosat-965-17.el8.ppc64le.html | A SAT solver | EPEL 8 for ppc64le | picosat-965-17.el8.ppc64le.rpm |
picosat-965-17.el8.s390x.html | A SAT solver | EPEL 8 for s390x | picosat-965-17.el8.s390x.rpm |
picosat-965-17.el8.x86_64.html | A SAT solver | EPEL 8 for x86_64 | picosat-965-17.el8.x86_64.rpm |
picosat-965-16.fc38.aarch64.html | A SAT solver | Fedora 38 for aarch64 | picosat-965-16.fc38.aarch64.rpm |
picosat-965-16.fc38.ppc64le.html | A SAT solver | Fedora 38 for ppc64le | picosat-965-16.fc38.ppc64le.rpm |
picosat-965-16.fc38.s390x.html | A SAT solver | Fedora 38 for s390x | picosat-965-16.fc38.s390x.rpm |
picosat-965-16.fc38.x86_64.html | A SAT solver | Fedora 38 for x86_64 | picosat-965-16.fc38.x86_64.rpm |
picosat-965-15.fc37.aarch64.html | A SAT solver | Fedora 37 for aarch64 | picosat-965-15.fc37.aarch64.rpm |
picosat-965-15.fc37.ppc64le.html | A SAT solver | Fedora 37 for ppc64le | picosat-965-15.fc37.ppc64le.rpm |
picosat-965-15.fc37.s390x.html | A SAT solver | Fedora 37 for s390x | picosat-965-15.fc37.s390x.rpm |
picosat-965-15.fc37.x86_64.html | A SAT solver | Fedora 37 for x86_64 | picosat-965-15.fc37.x86_64.rpm |
picosat-965-2.mga9.aarch64.html | Lightweight SAT solver | Mageia Cauldron for aarch64 | picosat-965-2.mga9.aarch64.rpm |
picosat-965-2.mga9.aarch64.html | Lightweight SAT solver | Mageia 9 for aarch64 | picosat-965-2.mga9.aarch64.rpm |
picosat-965-2.mga9.armv7hl.html | Lightweight SAT solver | Mageia Cauldron for armv7hl | picosat-965-2.mga9.armv7hl.rpm |
picosat-965-2.mga9.armv7hl.html | Lightweight SAT solver | Mageia 9 for armv7hl | picosat-965-2.mga9.armv7hl.rpm |
picosat-965-2.mga9.i586.html | Lightweight SAT solver | Mageia 9 for i586 | picosat-965-2.mga9.i586.rpm |
picosat-965-2.mga9.i586.html | Lightweight SAT solver | Mageia Cauldron for i686 | picosat-965-2.mga9.i586.rpm |
picosat-965-2.mga9.x86_64.html | Lightweight SAT solver | Mageia Cauldron for x86_64 | picosat-965-2.mga9.x86_64.rpm |
picosat-965-2.mga9.x86_64.html | Lightweight SAT solver | Mageia 9 for x86_64 | picosat-965-2.mga9.x86_64.rpm |
picosat-965-2.el7.aarch64.html | A SAT solver | EPEL 7 for aarch64 | picosat-965-2.el7.aarch64.rpm |
picosat-965-2.el7.ppc64.html | A SAT solver | EPEL 7 for ppc64 | picosat-965-2.el7.ppc64.rpm |
picosat-965-2.el7.ppc64le.html | A SAT solver | EPEL 7 for ppc64le | picosat-965-2.el7.ppc64le.rpm |
picosat-965-2.el7.x86_64.html | A SAT solver | EPEL 7 for x86_64 | picosat-965-2.el7.x86_64.rpm |
picosat-965-1.mga8.aarch64.html | Lightweight SAT solver | Mageia 8 for aarch64 | picosat-965-1.mga8.aarch64.rpm |
picosat-965-1.mga8.armv7hl.html | Lightweight SAT solver | Mageia 8 for armv7hl | picosat-965-1.mga8.armv7hl.rpm |
picosat-965-1.mga8.i586.html | Lightweight SAT solver | Mageia 8 for i586 | picosat-965-1.mga8.i586.rpm |
picosat-965-1.mga8.x86_64.html | Lightweight SAT solver | Mageia 8 for x86_64 | picosat-965-1.mga8.x86_64.rpm |
picosat-936-71.aarch64.html | Lightweight SAT solver | OpenMandriva Cooker for aarch64 | picosat-936-71.aarch64.rpm |
picosat-936-71.aarch64.html | Lightweight SAT solver | OpenMandriva 5.0 for aarch64 | picosat-936-71.aarch64.rpm |
picosat-936-71.x86_64.html | Lightweight SAT solver | OpenMandriva Cooker for x86_64 | picosat-936-71.x86_64.rpm |
picosat-936-71.x86_64.html | Lightweight SAT solver | OpenMandriva 5.0 for x86_64 | picosat-936-71.x86_64.rpm |