Package | Summary | Distribution | Download |
picosat-R-965-21.fc41.x86_64.html | A SAT solver library for R | Fedora Rawhide for x86_64 | picosat-R-965-21.fc41.x86_64.rpm |
picosat-R-965-21.fc40.x86_64.html | A SAT solver library for R | Fedora 40 updates for x86_64 | picosat-R-965-21.fc40.x86_64.rpm |
picosat-R-965-21.el9.x86_64.html | A SAT solver library for R | EPEL 9 for x86_64 | picosat-R-965-21.el9.x86_64.rpm |
picosat-R-965-21.el8.x86_64.html | A SAT solver library for R | EPEL 8 for x86_64 | picosat-R-965-21.el8.x86_64.rpm |
picosat-R-965-20.fc40.x86_64.html | A SAT solver library for R | Fedora 40 for x86_64 | picosat-R-965-20.fc40.x86_64.rpm |
picosat-R-965-18.fc39.x86_64.html | A SAT solver library for R | Fedora 39 for x86_64 | picosat-R-965-18.fc39.x86_64.rpm |
picosat-R-965-17.fc38.x86_64.html | A SAT solver library for R | Fedora 38 updates for x86_64 | picosat-R-965-17.fc38.x86_64.rpm |
picosat-R-965-16.fc38.x86_64.html | A SAT solver library for R | Fedora 38 for x86_64 | picosat-R-965-16.fc38.x86_64.rpm |
picosat-R-965-15.fc37.x86_64.html | A SAT solver library for R | Fedora 37 for x86_64 | picosat-R-965-15.fc37.x86_64.rpm |
picosat-R-965-2.el7.x86_64.html | A SAT solver library for R | EPEL 7 for x86_64 | picosat-R-965-2.el7.x86_64.rpm |