套件：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

下載可用於所有硬體架構的
硬體架構	套件大小	安裝後大小	檔案
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	[檔案列表]
i386	383。6 kB	1，673。0 kB	[檔案列表]
mips64el	370。8 kB	2，461。0 kB	[檔案列表]
ppc64el	365。3 kB	2，233。0 kB	[檔案列表]
s390x	358。2 kB	2，084。0 kB	[檔案列表]