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
124
125
126
|
Source: gecode
Priority: optional
Maintainer: Kari Pahula <kaol@debian.org>
Build-Depends: debhelper (>= 9), autotools-dev, cdbs (>= 0.4.93~), dh-autoreconf, libmpfr-dev, flex, bison, qtbase5-dev
Build-Depends-Indep: graphviz, doxygen
Build-Conflicts: libqt4-dev
Standards-Version: 3.9.6
Section: libs
Homepage: http://www.gecode.org/
Package: libgecode-dev
Section: libdevel
Architecture: any
Depends: libgecode41v5 (= ${binary:Version}), libgecodegist41v5 (= ${binary:Version}), libgecodeflatzinc41v5 (= ${binary:Version}), ${misc:Depends}, ${shlibs:Depends}, qtbase5-dev, libmpfr-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: libgecode41v5
Section: libs
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Pre-Depends: ${misc:Pre-Depends}
Suggests: libgecode-dev
Replaces: libgecode41
Breaks: libgecode41
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: libgecodegist41v5
Section: libs
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Pre-Depends: ${misc:Pre-Depends}
Suggests: libgecode-dev
Replaces: libgecodegist41
Breaks: libgecodegist41
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: libgecodeflatzinc41v5
Section: libs
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Pre-Depends: ${misc:Pre-Depends}
Suggests: libgecode-dev
Replaces: libgecodeflatzinc41
Breaks: libgecodeflatzinc41
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
<http://www.g12.cs.mu.oz.au/minizinc/>.
Package: flatzinc
Section: devel
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Replaces: libgecode-dev (<< 3.7.0)
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
<http://www.g12.cs.mu.oz.au/minizinc/>.
.
We provide a parser that reads a FlatZinc model from a file, and
returns a Gecode Space object that represents the model. We also
provide a simple front-end, an executable program that reads a
FlatZinc model and prints the solution (if any) on the standard
output.
.
The FlatZinc interpreter that ships with Gecode version 4.4.0
supports the FlatZinc language and MiniZinc global constraint
definitions of MiniZinc version 1.6.0.
|
