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
Recommends: agda

Recommends: coq

Recommends: hol-light

Recommends: hol88

Recommends: matita

Recommends: proofgeneral

Recommends: why

Recommends: why3
X-End-Category: proof assistants

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

Recommends: picosat

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

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

Recommends: boolector

Recommends: cvc3

Recommends: cvc4

Recommends: z3
X-End-Category: SMT solvers

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

Recommends: mace2

Recommends: maude

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

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

Suggests: coinor-libcoinmp-dev

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

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

Recommends: coala

Recommends: gringo
X-End-Category:

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

Recommends: maria

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

Recommends: toulbar2
