Artifact science-logic_1.14.6_all

deb_control_files:
- control
- md5sums
- postinst
- prerm
deb_fields:
  Architecture: all
  Depends: science-config (= 1.14.6), science-tasks (= 1.14.6)
  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: '30'
  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,
    gringo, hol-light, hol88, lbt, maria, maude, minisat+, mona, picosat, proofgeneral,
    sat4j, spass, toulbar2, why3, z3
  Section: metapackages
  Source: debian-science
  Suggests: alt-ergo, coala, coinor-libcoinmp-dev, cvc3, mace2, matita, prover9, why
  Version: 1.14.6
srcpkg_name: debian-science
srcpkg_version: 1.14.6