Package: cadical
Version: 2.1.3-3
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 1952
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Section: math
Priority: optional
Homepage: http://fmv.jku.at/cadical/
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.
