[ 原始碼： cadical ]
套件：libcadical-dev（1.5.3-2）
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 kB | 1，522。0 kB | [檔案列表] |
| arm64 | 262。2 kB | 1，556。0 kB | [檔案列表] |
| armel | 270。7 kB | 1，283。0 kB | [檔案列表] |
| armhf | 275。6 kB | 1，104。0 kB | [檔案列表] |
| i386 | 317。5 kB | 1，353。0 kB | [檔案列表] |
| mips64el | 305。6 kB | 1，997。0 kB | [檔案列表] |
| mipsel | 319。8 kB | 1，488。0 kB | [檔案列表] |
| ppc64el | 303。2 kB | 1，834。0 kB | [檔案列表] |
| s390x | 258。6 kB | 1，585。0 kB | [檔案列表] |