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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
Source: gecode
Priority: optional
Maintainer: Kari Pahula <kaol@debian.org>
Build-Depends: debhelper, debhelper-compat (= 13), libmpfr-dev, flex, bison, qtbase5-dev, libboost-dev
Build-Depends-Indep: graphviz, doxygen
Build-Conflicts: libqt4-dev
Standards-Version: 4.7.0
Section: libs
Homepage: https://www.gecode.org/
Vcs-Browser: https://salsa.debian.org/kaol/gecode
Vcs-Git: https://salsa.debian.org/kaol/gecode.git
Package: libgecode-dev
Section: libdevel
Architecture: any
Depends: libgecode49t64 (= ${binary:Version}), libgecodegist49t64 (= ${binary:Version}), libgecodeflatzinc49t64 (= ${binary:Version}), ${misc:Depends}, ${shlibs:Depends}, qtbase5-dev, libmpfr-dev, libboost-dev
Suggests: libgecode-doc
Description: generic constraint development environment
Gecode is a toolkit for developing constraint-based systems and
applications. Gecode provides a constraint solver with
state-of-the-art performance while being modular and extensible.
.
Gecode is radically open for programming: it can be easily
interfaced to other systems. It supports the programming of new
propagators (as implementation of constraints), branching strategies,
and search engines. New variable domains can be programmed at the same
level of efficiency as finite domain and integer set variables that
come predefined with Gecode.
Package: libgecode-doc
Section: doc
Architecture: all
Depends: ${misc:Depends}, libjs-jquery
Suggests: libgecode-dev
Description: generic constraint development environment
Gecode is a toolkit for developing constraint-based systems and
applications. Gecode provides a constraint solver with
state-of-the-art performance while being modular and extensible.
.
Gecode is radically open for programming: it can be easily
interfaced to other systems. It supports the programming of new
propagators (as implementation of constraints), branching strategies,
and search engines. New variable domains can be programmed at the same
level of efficiency as finite domain and integer set variables that
come predefined with Gecode.
.
This package has the API documentation and examples.
Package: libgecode49t64
Provides: ${t64:Provides}
Replaces: libgecode49
Breaks: libgecode49 (<< ${source:Version})
Section: libs
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Pre-Depends: ${misc:Pre-Depends}
Suggests: libgecode-dev
Description: generic constraint development environment
Gecode is a toolkit for developing constraint-based systems and
applications. Gecode provides a constraint solver with
state-of-the-art performance while being modular and extensible.
.
Gecode is radically open for programming: it can be easily
interfaced to other systems. It supports the programming of new
propagators (as implementation of constraints), branching strategies,
and search engines. New variable domains can be programmed at the same
level of efficiency as finite domain and integer set variables that
come predefined with Gecode.
Package: libgecodegist49t64
Provides: ${t64:Provides}
Replaces: libgecodegist49
Breaks: libgecodegist49 (<< ${source:Version})
Section: libs
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Pre-Depends: ${misc:Pre-Depends}
Suggests: libgecode-dev
Description: Gecode Interactive Search Tool library
Gecode is a toolkit for developing constraint-based systems and
applications. Gecode provides a constraint solver with
state-of-the-art performance while being modular and extensible.
.
This package contains libgecodegist, a graphical debugging tool, and
libgecodedriver, a set of helper classes for writing standalone
programs. They have been separated from the main Gecode library
package to avoid pulling in Qt as a dependency.
Package: libgecodeflatzinc49t64
Provides: ${t64:Provides}
Replaces: libgecodeflatzinc49
Breaks: libgecodeflatzinc49 (<< ${source:Version})
Section: libs
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Pre-Depends: ${misc:Pre-Depends}
Suggests: libgecode-dev
Homepage: http://www.gecode.org/flatzinc.html
Description: Gecode support for FlatZinc modelling language
Gecode is a toolkit for developing constraint-based systems and
applications. Gecode provides a constraint solver with
state-of-the-art performance while being modular and extensible.
.
FlatZinc is a low-level modelling language for constraint
problems. It is designed to be easily interfaceable to constraint
solvers (like Gecode). For more information on FlatZinc, please refer
to the MiniZinc pages of the G12 project <https://minizinc.org/>.
#Package: flatzinc
#Section: devel
#Architecture: any
#Depends: ${shlibs:Depends}, ${misc:Depends}
#Recommends: minizinc
#Homepage: http://www.gecode.org/flatzinc.html
#Description: constraint problem modelling language
# FlatZinc is a low-level modelling language for constraint
# problems. It is designed to be easily interfaceable to constraint
# solvers (like Gecode). For more information on FlatZinc, please refer
# to the MiniZinc pages of the G12 project <https://www.minizinc.org/>.
# .
# The FlatZinc interpreter that ships with Gecode supports the FlatZinc
# language and MiniZinc global constraint definitions of MiniZinc
# version 1.6.0.
|
