全部搜索项
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ 源代码:  ]

软件包:minisat+(1.0-4) [debports]

minisat+ 的相关链接

Screenshot

Debian 的资源:

下载源码包

未找到

维护小组:

外部的资源:

相似软件包:

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+

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
hppa (非官方移植版) 137.9 kB368.0 kB [文件列表]