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

[ 源代码： cryptominisat  ]

SAT solver command line interface

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

This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.

其他与 cryptominisat 有关的软件包

• dep: libboost-program-options1.74.0 (>= 1.74.0)

  program options library for C++

• dep: libc6 (>= 2.34)

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

• dep: libcryptominisat5-5.11 (>= 5.11.4+dfsg1)

  SAT solver library

• dep: libgcc-s1 (>= 3.0)

  GCC 支持库

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

  GNU 标准 C++ 库，第3版

• dep: zlib1g (>= 1:1.1.4)

  压缩库 - 运行时

下载 cryptominisat

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

硬件架构	版本	软件包大小	安装后大小	文件
arm64	5.11.4+dfsg1-2+b1	69.2 kB	352.0 kB	[文件列表]