Package | Summary | Distribution | Download |
lib64picosat1-965-3.mga10.aarch64.html | A SAT solver library | Mageia Cauldron for aarch64 | lib64picosat1-965-3.mga10.aarch64.rpm |
lib64picosat1-965-3.mga10.x86_64.html | A SAT solver library | Mageia Cauldron for x86_64 | lib64picosat1-965-3.mga10.x86_64.rpm |
lib64picosat1-965-2.mga9.aarch64.html | A SAT solver library | Mageia 9 for aarch64 | lib64picosat1-965-2.mga9.aarch64.rpm |
lib64picosat1-965-2.mga9.x86_64.html | A SAT solver library | Mageia 9 for x86_64 | lib64picosat1-965-2.mga9.x86_64.rpm |
lib64picosat1-965-1.mga8.aarch64.html | A SAT solver library | Mageia 8 for aarch64 | lib64picosat1-965-1.mga8.aarch64.rpm |
lib64picosat1-965-1.mga8.x86_64.html | A SAT solver library | Mageia 8 for x86_64 | lib64picosat1-965-1.mga8.x86_64.rpm |
lib64picosat1-936-71.aarch64.html | A SAT solver library | OpenMandriva 5.0 for aarch64 | lib64picosat1-936-71.aarch64.rpm |
lib64picosat1-936-71.aarch64.html | A SAT solver library | OpenMandriva Cooker for aarch64 | lib64picosat1-936-71.aarch64.rpm |
lib64picosat1-936-71.x86_64.html | A SAT solver library | OpenMandriva 5.0 for x86_64 | lib64picosat1-936-71.x86_64.rpm |
lib64picosat1-936-71.x86_64.html | A SAT solver library | OpenMandriva Cooker for x86_64 | lib64picosat1-936-71.x86_64.rpm |