すべてのオプション
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+ のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
alpha (非公式の移植版) 1.0-4 152.3 kB473.0 kB [ファイル一覧]
amd64 1.0-4 154.7 kB396.0 kB [ファイル一覧]
arm64 1.0-4 130.8 kB376.0 kB [ファイル一覧]
armel 1.0-4 126.9 kB376.0 kB [ファイル一覧]
armhf 1.0-4 130.6 kB268.0 kB [ファイル一覧]
hppa (非公式の移植版) 1.0-4 137.9 kB368.0 kB [ファイル一覧]
i386 1.0-4 156.3 kB411.0 kB [ファイル一覧]
ia64 (非公式の移植版) 1.0-4 211.6 kB886.0 kB [ファイル一覧]
m68k (非公式の移植版) 1.0-4 115.8 kB343.0 kB [ファイル一覧]
mips64el 1.0-4 144.4 kB473.0 kB [ファイル一覧]
ppc64 (非公式の移植版) 1.0-4 140.0 kB474.0 kB [ファイル一覧]
ppc64el 1.0-4 145.0 kB472.0 kB [ファイル一覧]
riscv64 1.0-4+b1 143.3 kB293.0 kB [ファイル一覧]
s390x 1.0-4 143.3 kB445.0 kB [ファイル一覧]
sh4 (非公式の移植版) 1.0-4 150.3 kB323.0 kB [ファイル一覧]
sparc64 (非公式の移植版) 1.0-4 127.6 kB419.0 kB [ファイル一覧]
x32 (非公式の移植版) 1.0-4 146.8 kB384.0 kB [ファイル一覧]