Källkodspaket: picosat (960-1)
Följande binärpaket byggs från detta källkodspaket:
- picosat
- SAT solver with proof and core support
Andra paket besläktade med picosat
|
|
-
- adep: debhelper (>= 7.0.50~)
- helper programs for debian/rules
Download picosat
| Fil | Storlek (i kbyte) | MD5-kontrollsumma |
|---|---|---|
| picosat_960-1.dsc | 1,7 kbyte | 525c9c8d824a2e61b366ae28ef4b4a6e |
| picosat_960.orig.tar.gz | 61,8 kbyte | bee515cd9fd12ffaffab10b3587aa833 |
| picosat_960-1.debian.tar.xz | 6,0 kbyte | 319a15a4277a2f91cca97d1e4b44e812 |