deb_control_files:
- control
- md5sums
deb_fields:
Architecture: amd64
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.
Homepage: http://fmv.jku.at/cadical/
Installed-Size: '1836'
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Multi-Arch: same
Package: libcadical-dev
Priority: optional
Section: libdevel
Source: cadical (1.7.4-1)
Version: 1.7.4-1+b1
srcpkg_name: cadical
srcpkg_version: 1.7.4-1