» Ubuntu » パッケージ » questing (25.10) » ソース » science » minisat2

[ jammy ] [ noble ] [ questing ] [ resolute ] [ stonking ]

ソースパッケージ: minisat2 (1:2.2.1-8build1) [universe]

minisat2 に関するリンク

Ubuntu の資源:

メンテナ:

Ubuntu Developers (メールアーカイブ)

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

Original Maintainer (usually from Debian):

Michael Tautschnig

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

外部の資源:

ホームページ [minisat.se]

以下のバイナリパッケージがこのソースパッケージからビルドされています。

minisat: Fast and lightweight SAT solver

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

構築依存	構築依存 (アーキテクチャ非依存)

adep: debhelper-compat (= 13)

パッケージは利用できません
adep: libz-dev

以下のパッケージによって提供される仮想パッケージです: zlib1g-dev

Download minisat2

ファイル	サイズ (単位: kB)	MD5 チェックサム
minisat2_2.2.1-8build1.dsc	1.8 kB	5c834c8755007119248001e784c4017a
minisat2_2.2.1.orig.tar.gz	43.2 kB	27faa19ee0508660bd6fb7f894646d42
minisat2_2.2.1-8build1.debian.tar.xz	9.7 kB	7de602294a5a02b16bb0371ff98840c1