パッケージ: picosat-dbgsym (965-2 など) [debports]

picosat-dbgsym に関するリンク

見つかりません

dep: picosat (= 965-2) [riscv64 以外]

proof と core サポート付き SAT ソルバ

dep: picosat (= 965-2+b1) [riscv64]

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
alpha (非公式の移植版)	965-2	363.7 kB	544.0 kB	[ファイル一覧]
hppa (非公式の移植版)	965-2	357.4 kB	529.0 kB	[ファイル一覧]
ia64 (非公式の移植版)	965-2	454.2 kB	664.0 kB	[ファイル一覧]
m68k (非公式の移植版)	965-2	408.4 kB	478.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	965-2	389.6 kB	586.0 kB	[ファイル一覧]
riscv64 (非公式の移植版)	965-2+b1	358.6 kB	542.0 kB	[ファイル一覧]
sh4 (非公式の移植版)	965-2	428.1 kB	544.0 kB	[ファイル一覧]
sparc64 (非公式の移植版)	965-2	439.8 kB	534.0 kB	[ファイル一覧]
x32 (非公式の移植版)	965-2	353.5 kB	514.0 kB	[ファイル一覧]