Task: Logic
Install: false
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.

X-Begin-Category: proof assistants
Depends: agda

Depends: coq

Depends: hol-light

Depends: hol88

Depends: matita

Depends: proofgeneral

Depends: why

Depends: why3
X-End-Category: proof assistants

X-Begin-Category: SAT and QBF solvers
Depends: depqbf

Depends: picosat

Depends: sat4j
X-End-Category: SAT and QBF solvers

X-Begin-Category: SMT solvers
Depends: alt-ergo

Depends: boolector

Depends: cvc3

Depends: z3
X-End-Category: SMT solvers

X-Begin-Category: first-order and equational solvers
Depends: prover9

Depends: mace2

Depends: maude

Depends: spass
X-End-Category: first-order and equational solvers

X-Begin-Category: integer programming solvers
Depends: coinor-cbc, coinor-symphony

Suggests: coinor-libcoinmp-dev

Depends: minisat+
X-Comment: minisat2 is only a transitional package
X-End-Category: integer programming solvers

X-Begin-Category: answer set programming
Depends: clasp

Depends: coala

Depends: gringo
X-End-Category:

X-Begin-Category: reasoning about automata
Depends: lbt

Depends: maria

Depends: mona
X-End-Category: reasoning about automata

Depends: toulbar2
