[ Източник: picosat ]
Пакет: picosat (965-2 и други)
Връзки за picosat
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник picosat.
Отговорници:
- Debian Science Team (Страница за QA, Пощенски архив)
- Michael Tautschnig (Страница за QA)
- Nilesh Patra (Страница за QA)
Външни препратки:
- Начална страница [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.34)
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
Изтегляне на picosat
| Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|---|
| arm64 | 965-2+b1 | 87,4 кБ | 1 055,0 кБ | [списък на файловете] |