全部搜索项
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+ 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 minisat+

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
arm64 130.8 kB376.0 kB [文件列表]