[ Източник: kissat ]
Пакет: kissat (4.0.3-2)
Връзки за kissat
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник kissat.
Отговорници:
Външни препратки:
- Начална страница [fmv.jku.at]
Подобни пакети:
Keep it simple and clean bare metal SAT solver
Kissat is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation.
This package contains binaries needed to use Kissat as a stand-alone tool.
Други пакети, свързани с kissat
|
|
|
|
-
- dep: libc6 (>= 2.38) [не alpha, loong64, sh4]
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
- dep: libc6 (>= 2.41) [loong64, sh4]
-
- dep: libc6.1 (>= 2.38) [alpha]
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6.1-udeb
Изтегляне на kissat
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| alpha (неофициална архитектура) | 337,3 кБ | 1 107,0 кБ | [списък на файловете] |
| amd64 | 388,2 кБ | 1 095,0 кБ | [списък на файловете] |
| arm64 | 332,4 кБ | 980,0 кБ | [списък на файловете] |
| armel | 339,9 кБ | 1 043,0 кБ | [списък на файловете] |
| armhf | 344,4 кБ | 787,0 кБ | [списък на файловете] |
| hppa (неофициална архитектура) | 355,4 кБ | 991,0 кБ | [списък на файловете] |
| i386 | 374,5 кБ | 1 138,0 кБ | [списък на файловете] |
| loong64 (неофициална архитектура) | 352,8 кБ | 1 043,0 кБ | [списък на файловете] |
| m68k (неофициална архитектура) | 347,1 кБ | 1 042,0 кБ | [списък на файловете] |
| mips64el | 317,8 кБ | 1 066,0 кБ | [списък на файловете] |
| ppc64 (неофициална архитектура) | 364,6 кБ | 1 236,0 кБ | [списък на файловете] |
| ppc64el | 361,8 кБ | 1 172,0 кБ | [списък на файловете] |
| riscv64 | 368,6 кБ | 839,0 кБ | [списък на файловете] |
| s390x | 352,6 кБ | 984,0 кБ | [списък на файловете] |
| sh4 (неофициална архитектура) | 428,7 кБ | 914,0 кБ | [списък на файловете] |
| sparc64 (неофициална архитектура) | 314,8 кБ | 2 068,0 кБ | [списък на файловете] |
| x32 (неофициална архитектура) | 371,2 кБ | 1 002,0 кБ | [списък на файловете] |