全部搜索项
bookworm  ] [  trixie  ] [  sid  ]
[ 源代码: cadical  ]

软件包:cadical(1.5.3-2)

cadical 的相关链接

Screenshot

Debian 的资源:

下载源码包 cadical

维护小组:

外部的资源:

相似软件包:

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

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 cadical

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
armel 269.8 kB1,386.0 kB [文件列表]