[ 源代码： cadical ]
软件包：cadical（1.7.4-1 以及其他的）
Simplified Satisfiability Solver
CaDiCaL is a CDCL solver that is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.
This package contains binaries needed to use CaDiCaL as a stand-alone tool.
其他与 cadical 有关的软件包
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C 语言运行库：共享库
同时作为一个虚包由这些包填实： libc6-udeb
-
- dep: libgcc-s1 (>= 3.0)
- GCC 支持库
-
- dep: libstdc++6 (>= 13.1)
- GNU 标准 C++ 库，第3版