パッケージ: cadical (1.5.3-2)

cadical に関するリンク

Debian の資源:

cadical ソースパッケージをダウンロード:

メンテナ:

外部の資源:

ホームページ [fmv.jku.at]

類似のパッケージ:

Simplified Satisfiability Solver

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 binaries needed to use CaDiCaL as a stand-alone tool.

その他の cadical 関連パッケージ

依存

推奨

提案

enhances

dep: libc6 (>= 2.34)

GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
dep: libgcc-s1 (>= 3.0) [armel, armhf, mipsel 以外]

GCC 共有ライブラリ

dep: libgcc-s1 (>= 3.5) [armel, armhf]

dep: libgcc-s1 (>= 4.2) [mipsel]
dep: libstdc++6 (>= 11)

GNU 標準 C++ ライブラリ v3

cadical のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	309.3 kB	1,404.0 kB	[ファイル一覧]
arm64	268.7 kB	1,396.0 kB	[ファイル一覧]
armel	269.8 kB	1,386.0 kB	[ファイル一覧]
armhf	274.0 kB	1,002.0 kB	[ファイル一覧]
i386	336.9 kB	1,582.0 kB	[ファイル一覧]
mips64el	306.5 kB	1,845.0 kB	[ファイル一覧]
mipsel	324.0 kB	1,827.0 kB	[ファイル一覧]
ppc64el	316.4 kB	1,844.0 kB	[ファイル一覧]
s390x	271.4 kB	1,432.0 kB	[ファイル一覧]