deb_control_files:
- control
- md5sums
- postinst
- prerm
deb_fields:
Architecture: all
Depends: science-config (= 1.14.7), science-tasks (= 1.14.7)
Description: |-
Debian Science Logic packages
This metapackage is part of the Debian Pure Blend "Debian Science"
and installs packages related to Computational Logic. It contains
formula transformation tools, solvers for formulas specified in
various logics, interactive proof systems, etc.
Homepage: https://wiki.debian.org/DebianScience/
Installed-Size: '31'
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Package: science-logic
Priority: optional
Recommends: agda, boolector, clasp, coinor-cbc, coinor-symphony, coq, cvc4, depqbf,
drat-trim, gringo, hol-light, hol88, kissat, lbt, maria, maude, minisat+, mona,
picosat, proofgeneral, sat4j, spass, toulbar2, why3, z3
Section: metapackages
Source: debian-science
Suggests: alt-ergo, coinor-libcoinmp-dev, prover9
Version: 1.14.7
srcpkg_name: debian-science
srcpkg_version: 1.14.7