パッケージ: libcadical-dev (2.1.3-2)

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	415.4 kB	2,301.0 kB	[ファイル一覧]
arm64	391.8 kB	2,283.0 kB	[ファイル一覧]
armhf	397.6 kB	1,589.0 kB	[ファイル一覧]
i386	458.6 kB	2,019.0 kB	[ファイル一覧]
ppc64el	445.5 kB	2,620.0 kB	[ファイル一覧]
riscv64	2,027.4 kB	23,647.0 kB	[ファイル一覧]
s390x	432.4 kB	2,456.0 kB	[ファイル一覧]