软件包：libcryptominisat5-5.8（5.8.0+dfsg1-1 以及其他的）

[ 源代码： cryptominisat  ]

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.8 有关的软件包

• dep: libc6 (>= 2.29)

  GNU C 语言运行库：共享库
  同时作为一个虚包由这些包填实： libc6-udeb

• dep: libgcc-s1 (>= 3.5)

  GCC 支持库

• dep: libm4ri-0.0.20200125 (>= 20200125)

  Method of the Four Russians Inversion library, shared library

• dep: libstdc++6 (>= 6)

  GNU 标准 C++ 库，第3版

下载 libcryptominisat5-5.8

下载可用于所有硬件架构的

硬件架构	版本	软件包大小	安装后大小	文件
armel	5.8.0+dfsg1-1+b3	365.7 kB	1,025.0 kB	[文件列表]