Source: gecode Priority: optional Maintainer: Kari Pahula Build-Depends: debhelper (>= 13), cdbs (>= 0.4.93~), 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/ 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 . #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 . # . # The FlatZinc interpreter that ships with Gecode supports the FlatZinc # language and MiniZinc global constraint definitions of MiniZinc # version 1.6.0.