1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
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: proofgeneral
Recommends: why3
X-End-Category: proof assistants
X-Begin-Category: SAT and QBF solvers
Recommends: depqbf
Recommends: picosat
Recommends: sat4j
Recommends: minisat+
X-Comment: minisat2 is only a transitional package
Recommends: kissat
Recommends: drat-trim
X-Comment: this is SAT proof checker
X-End-Category: SAT and QBF solvers
X-Begin-Category: SMT solvers
Recommends: alt-ergo
Recommends: boolector
Recommends: cvc4
Recommends: z3
X-End-Category: SMT solvers
X-Begin-Category: first-order and equational solvers
Recommends: prover9
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
X-End-Category: integer programming solvers
X-Begin-Category: answer set programming
Recommends: clasp
Recommends: gringo
X-End-Category: answer set programming
X-Begin-Category: reasoning about automata
Recommends: lbt
Recommends: maria
Recommends: mona
X-End-Category: reasoning about automata
Recommends: toulbar2
|
