すべてのオプション
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: minisat+  ]

パッケージ: minisat+ (1.0-4)

minisat+ に関するリンク

Screenshot

Debian の資源:

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

メンテナ:

外部の資源:

類似のパッケージ:

solver for pseudo-Boolean constraints

MinSat+ is a solver for Pseudo-Boolean Optimization (AKA 0-1 integer programming) that is based on the MiniSat SAT-solver. It supports optimizing a linear objective function, subject to a set of linear constraints. The variables of the objective function and constraints are boolean, i.e. required to be 0 or 1. Pseudo-Boolean optimization can be used to solve many kinds of combinatorial optimization problems. This version of Minisat+ is compiled with bignum support for constraint coefficients.

タグ: 分野: 数学, 役割: プログラム

その他の minisat+ 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

minisat+ のダウンロード

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