всички настройки
[  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Източник: cryptominisat  ]

Пакет: libcryptominisat5-dev (5.11.15+dfsg1-1.1)

Връзки за libcryptominisat5-dev

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник cryptominisat.

Отговорници:

Външни препратки:

Подобни пакети:

development files for the CryptoMiniSat SAT solver

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.

Други пакети, свързани с libcryptominisat5-dev

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на libcryptominisat5-dev

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
alpha (неофициална архитектура) 18,2 кБ86,0 кБ [списък на файловете]
amd64 18,2 кБ86,0 кБ [списък на файловете]
arm64 18,2 кБ86,0 кБ [списък на файловете]
armel 18,2 кБ86,0 кБ [списък на файловете]
armhf 18,2 кБ86,0 кБ [списък на файловете]
hppa (неофициална архитектура) 18,2 кБ86,0 кБ [списък на файловете]
i386 18,2 кБ86,0 кБ [списък на файловете]
ia64 (неофициална архитектура) 18,2 кБ86,0 кБ [списък на файловете]
m68k (неофициална архитектура) 18,2 кБ86,0 кБ [списък на файловете]
mips64el 18,2 кБ86,0 кБ [списък на файловете]
ppc64 (неофициална архитектура) 18,2 кБ86,0 кБ [списък на файловете]
ppc64el 18,2 кБ86,0 кБ [списък на файловете]
riscv64 18,2 кБ86,0 кБ [списък на файловете]
s390x 18,2 кБ86,0 кБ [списък на файловете]
sh4 (неофициална архитектура) 18,2 кБ86,0 кБ [списък на файловете]
sparc64 (неофициална архитектура) 18,2 кБ86,0 кБ [списък на файловете]
x32 (неофициална архитектура) 18,2 кБ86,0 кБ [списък на файловете]