パッケージ: sat4j (2.3.5-0.3)

sat4j に関するリンク

Debian の資源:

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

メンテナ:

Michael Tautschnig (QA ページ)

外部の資源:

ホームページ [www.sat4j.org]

類似のパッケージ:

効率的な SAT ソルバーライブラリ Java 版

SAT4J ライブラリの狙いは、Java 上に効率的な SAT ソルバーライブラリを提供することです。OpenSAT プロジェクトと比較して、SAT4J ライブラリは SAT を「ブラックボックス」として使い、詳細を気にせずにアプリケーションに SAT テクノロジを組み込みたい初心者をターゲットにしています。SAT4J プロジェクトは SAT 研究者に仕事の基礎を提供することも目指しています。

タグ: 分野: 数学, 実装言語: Java, 役割: role::program, role::shared-lib

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

依存

推奨

提案

enhances

dep: default-jre

Standard Java or Java compatible Runtime

または java7-runtime

以下のパッケージによって提供される仮想パッケージです: default-jre, openjdk-17-jre

または java8-runtime

以下のパッケージによって提供される仮想パッケージです: default-jre, openjdk-17-jre

または java9-runtime

以下のパッケージによって提供される仮想パッケージです: default-jre, openjdk-17-jre

または java10-runtime

以下のパッケージによって提供される仮想パッケージです: default-jre, openjdk-17-jre

または java11-runtime

以下のパッケージによって提供される仮想パッケージです: default-jre, openjdk-17-jre
dep: jarwrapper (>= 0.5)

Run executable Java .jar files
dep: libcommons-cli-java

Command line arguments and options parsing library

sat4j のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
all	548.9 kB	687.0 kB	[ファイル一覧]