» Ubuntu » パッケージ » tenacious » libdevel » libcadical-dev
[  noble  ] [  resolute  ] [  stonking  ] [  tenacious  ]
[ ソース: cadical  ]

パッケージ: libcadical-dev (2.1.3-3) [universe]

このサイトについて

Screenshot

published in section universe

Ubuntu の資源:

Source Package cadical:

メンテナ:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

外部の資源:

類似のパッケージ:

Simplified Satisfiability Solver (development files)

libcadical-dev のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
amd64 466.6 kB2,302.0 kB [ファイル一覧]
arm64 473.1 kB2,299.0 kB [ファイル一覧]
armhf 451.6 kB1,560.0 kB [ファイル一覧]
ppc64el 523.1 kB2,585.0 kB [ファイル一覧]
riscv64 2,578.8 kB23,931.0 kB [ファイル一覧]
s390x 518.1 kB2,422.0 kB [ファイル一覧]