Pakiet źródłowy: picosat (960-1)
Odnośniki dla picosat
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Opiekun:
Zasoby zewnętrzne:
- Strona internetowa [fmv.jku.at]
Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
- picosat
- SAT solver with proof and core support
Inne pakiety związane z picosat
|
|
-
- adep: debhelper (>= 7.0.50~)
- Programy pomocnicze do debian/rules
Download picosat
| Plik | Rozmiar (w KiB) | Suma kontrolna MD5 |
|---|---|---|
| picosat_960-1.dsc | 1,7 KiB | 525c9c8d824a2e61b366ae28ef4b4a6e |
| picosat_960.orig.tar.gz | 61,8 KiB | bee515cd9fd12ffaffab10b3587aa833 |
| picosat_960-1.debian.tar.xz | 6,0 KiB | 319a15a4277a2f91cca97d1e4b44e812 |