[ Източник: picosat ]
Пакет: picosat (960-1 и други)
Връзки за picosat
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник picosat.
Отговорник:
Външни препратки:
- Начална страница [fmv.jku.at]
Подобни пакети:
SAT solver with proof and core support
Despite the NP completeness of the satisfiabilty problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems.
PicoSAT is a SAT solver that turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory.
Други пакети, свързани с picosat
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
- dep: libc6 (>= 2.7) [armhf, i386]
Изтегляне на picosat
| Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|---|
| amd64 | 960-1 b2 | 120,1 кБ | 740,0 кБ | [списък на файловете] |
| arm64 | 960-1 b2 | 97,3 кБ | 628,0 кБ | [списък на файловете] |
| armhf | 960-1 b2 | 102,9 кБ | 494,0 кБ | [списък на файловете] |
| i386 | 960-1 b2 | 125,5 кБ | 713,0 кБ | [списък на файловете] |