全部搜索项
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ 源代码： minisat2  ]

软件包：minisat2（1:2.2.1-5 以及其他的）

minisat2 的相关链接

Screenshot

Debian 的资源：

下载源码包 minisat2：

维护者：

外部的资源：

相似软件包：

Transitional package for minisat

This is a transitional package for minisat, and can be safely removed after the installation is complete.

标签: 领域: 数学, 实做语言: C++, 角色: 程序

负责填实 minisat2 的软件包

minisat
Fast and lightweight SAT solver

其他与 minisat2 有关的软件包

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

下载 minisat2

下载可用于所有硬件架构的
硬件架构 版本 软件包大小 安装后大小 文件
amd64 1:2.2.1-5+b3 5.1 kB13.0 kB [文件列表]
arm64 1:2.2.1-5+b3 5.1 kB13.0 kB [文件列表]
armel 1:2.2.1-5+b3 5.1 kB13.0 kB [文件列表]
armhf 1:2.2.1-5+b3 5.1 kB13.0 kB [文件列表]
i386 1:2.2.1-5+b3 5.1 kB13.0 kB [文件列表]
mips64el 1:2.2.1-5+b3 5.1 kB13.0 kB [文件列表]
mipsel 1:2.2.1-5+b3 5.1 kB13.0 kB [文件列表]
ppc64el 1:2.2.1-5+b3 5.1 kB13.0 kB [文件列表]
s390x 1:2.2.1-5+b3 5.1 kB13.0 kB [文件列表]