パッケージ: cadical (1.7.4-1 など)

[ ソース: cadical  ]

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 関連パッケージ

• dep: libc6 (>= 2.38)

  GNU C ライブラリ: 共有ライブラリ
  以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

• dep: libgcc-s1 (>= 3.0) [armel, armhf, riscv64 以外]

  GCC 共有ライブラリ

  dep: libgcc-s1 (>= 3.4) [riscv64]

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

• dep: libstdc++6 (>= 13.1)

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

cadical のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	1.7.4-1+b1	386.8 kB	1,845.0 kB	[ファイル一覧]
arm64	1.7.4-1+b1	339.3 kB	1,717.0 kB	[ファイル一覧]
armel	1.7.4-1+b1	332.6 kB	1,669.0 kB	[ファイル一覧]
armhf	1.7.4-1+b1	340.4 kB	1,229.0 kB	[ファイル一覧]
i386	1.7.4-1+b1	419.1 kB	2,039.0 kB	[ファイル一覧]
mips64el	1.7.4-1+b1	379.5 kB	2,311.0 kB	[ファイル一覧]
ppc64el	1.7.4-1+b1	391.7 kB	2,229.0 kB	[ファイル一覧]
riscv64	1.7.4-1+b1	394.7 kB	1,493.0 kB	[ファイル一覧]
s390x	1.7.4-1+b1	392.4 kB	2,005.0 kB	[ファイル一覧]