deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 11)
Description: |-
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.
Homepage: http://fmv.jku.at/cadical/
Installed-Size: '1396'
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Package: cadical
Priority: optional
Section: math
Version: 1.5.3-2
srcpkg_name: cadical
srcpkg_version: 1.5.3-2