[ Източник: cadical ]
Пакет: libcadical-dev (1.5.3-2)
Връзки за libcadical-dev
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник cadical.
Отговорници:
Външни препратки:
- Начална страница [fmv.jku.at]
Подобни пакети:
Simplified Satisfiability Solver (development files)
CaDiCaL is a CDCL solver that is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.
This package contains development files for CaDiCaL. Install it if you want to develop applications that use CaDiCaL's API.
Изтегляне на libcadical-dev
Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
---|---|---|---|
amd64 | 280,8 кБ | 1 522,0 кБ | [списък на файловете] |
arm64 | 262,2 кБ | 1 556,0 кБ | [списък на файловете] |
armel | 270,7 кБ | 1 283,0 кБ | [списък на файловете] |
armhf | 275,6 кБ | 1 104,0 кБ | [списък на файловете] |
i386 | 317,5 кБ | 1 353,0 кБ | [списък на файловете] |
mips64el | 305,6 кБ | 1 997,0 кБ | [списък на файловете] |
mipsel | 319,8 кБ | 1 488,0 кБ | [списък на файловете] |
ppc64el | 303,2 кБ | 1 834,0 кБ | [списък на файловете] |
s390x | 258,6 кБ | 1 585,0 кБ | [списък на файловете] |