[ bookworm ] [ sid ]

[ 源代码： ]

软件包：libcryptominisat5-5.11（5.11.4+dfsg1-3） [debports]

libcryptominisat5-5.11 的相关链接

Debian 的资源：

报告问题

下载源码包：

未找到

维护小组：

外部的资源：

主页 [www.msoos.org]

相似软件包：

SAT solver library

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

This package provides a shared library to link against the CryptoMiniSat library.

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

依赖

推荐

建议

增强

dep: libc6 (>= 2.34)

GNU C 语言运行库：共享库
同时作为一个虚包由这些包填实： libc6-udeb
dep: libgcc-s1 (>= 4.2)

GCC 支持库
dep: libstdc++6 (>= 13.1)

GNU 标准 C++ 库，第3版

下载 libcryptominisat5-5.11

下载可用于所有硬件架构的
硬件架构	软件包大小	安装后大小	文件
riscv64 （非官方移植版）	526.7 kB	1,139.0 kB	[文件列表]