Zdrojový balík: picosat (960-1build1)
Odkazy pre picosat
Zdroje Trisquel:
Správca:
Original Maintainer:
- Michael Tautschnig
Externé zdroje:
- Domovská stránka [fmv.jku.at]
Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
- picosat
- SAT solver with proof and core support
Ostatné balíky súvisiace s balíkom picosat
|
|
-
- adep: debhelper (>= 7.0.50~)
- helper programs for debian/rules
Download picosat
| Súbor | Veľkosť (v kB) | kontrolný súčet MD5 |
|---|---|---|
| picosat_960-1build1.dsc | 1.8 kB | 6f96f768dc7a63a72b19d7428a513ec6 |
| picosat_960.orig.tar.gz | 61.8 kB | bee515cd9fd12ffaffab10b3587aa833 |
| picosat_960-1build1.debian.tar.xz | 6.1 kB | 0aeca124a794e38f8e3b7a3397c15eea |