软件包：libcryptominisat5-dev（5.11.4+dfsg1-2 以及其他的）

libcryptominisat5-dev 的相关链接

Debian 的资源：

下载源码包 cryptominisat：

维护小组：

外部的资源：

主页 [www.msoos.org]

相似软件包：

development files for the CryptoMiniSat SAT solver

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.

标签: 软件开发: 函数库, 角色: 开发用函数库

其他与 libcryptominisat5-dev 有关的软件包

依赖

推荐

建议

增强

dep: libcryptominisat5-5.11 (= 5.11.4+dfsg1-2+b1)

SAT solver library

下载 libcryptominisat5-dev

下载可用于所有硬件架构的
硬件架构	版本	软件包大小	安装后大小	文件
amd64	5.11.4+dfsg1-2+b1	17.9 kB	83.0 kB	[文件列表]
arm64	5.11.4+dfsg1-2+b1	17.9 kB	83.0 kB	[文件列表]
armel	5.11.4+dfsg1-2+b1	17.9 kB	83.0 kB	[文件列表]
armhf	5.11.4+dfsg1-2+b1	17.9 kB	83.0 kB	[文件列表]
i386	5.11.4+dfsg1-2+b1	17.9 kB	83.0 kB	[文件列表]
mips64el	5.11.4+dfsg1-2+b1	17.9 kB	83.0 kB	[文件列表]
mipsel	5.11.4+dfsg1-2+b1	17.9 kB	83.0 kB	[文件列表]
ppc64el	5.11.4+dfsg1-2+b1	17.9 kB	83.0 kB	[文件列表]
s390x	5.11.4+dfsg1-2+b1	17.9 kB	83.0 kB	[文件列表]