套件：libcadical-dev（1.7.4-1）

libcadical-dev 的相關連結

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

下載可用於所有硬體架構的
硬體架構	套件大小	安裝後大小	檔案
alpha （非官方移植版）	373。5 kB	2，676。0 kB	[檔案列表]
amd64	340。7 kB	1，882。0 kB	[檔案列表]
arm64	319。6 kB	1，935。0 kB	[檔案列表]
armel	328。8 kB	1，602。0 kB	[檔案列表]
armhf	333。7 kB	1，371。0 kB	[檔案列表]
hppa （非官方移植版）	372。1 kB	1，770。0 kB	[檔案列表]
i386	383。6 kB	1，673。0 kB	[檔案列表]
ia64 （非官方移植版）	445。1 kB	3，120。0 kB	[檔案列表]
m68k （非官方移植版）	339。7 kB	1，690。0 kB	[檔案列表]
mips64el	370。8 kB	2，461。0 kB	[檔案列表]
ppc64 （非官方移植版）	359。1 kB	2，294。0 kB	[檔案列表]
ppc64el	365。3 kB	2，233。0 kB	[檔案列表]
riscv64	1，299。2 kB	13，363。0 kB	[檔案列表]
s390x	358。2 kB	2，084。0 kB	[檔案列表]
sh4 （非官方移植版）	404。5 kB	1，457。0 kB	[檔案列表]
sparc64 （非官方移植版）	317。9 kB	2，158。0 kB	[檔案列表]
x32 （非官方移植版）	344。4 kB	1，568。0 kB	[檔案列表]