Package: libcadical-dev
Source: cadical
Version: 2.1.3-2
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Installed-Size: 2302
Section: libdevel
Priority: optional
Multi-Arch: same
Homepage: http://fmv.jku.at/cadical/
Description: Simplified Satisfiability Solver (development files)
 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 development files for CaDiCaL. Install it if you
 want to develop applications that use CaDiCaL's API.
