debian/0000755000000000000000000000000012237466370007200 5ustar debian/libgecode-doc.dirs0000644000000000000000000000005611606277461012544 0ustar usr/share/doc/libgecode-doc/examples/examples debian/source/0000755000000000000000000000000011347770731010500 5ustar debian/source/format0000644000000000000000000000001411347770731011706 0ustar 3.0 (quilt) debian/compat0000644000000000000000000000000212177242517010374 0ustar 9 debian/rules0000755000000000000000000000255112150132427010246 0ustar #!/usr/bin/make -f DEB_CONFIGURE_EXTRA_FLAGS=--enable-gist --enable-qt --enable-float-vars --disable-examples --libdir=\$${prefix}/lib/$(DEB_HOST_MULTIARCH) DEB_BUILD_PARALLEL=yes DEB_MAKE_CHECK_TARGET=check LD_LIBRARY_PATH=. DEB_DH_BUILDDEB_ARGS=-- -Zxz include /usr/share/cdbs/1/class/autotools.mk include /usr/share/cdbs/1/rules/debhelper.mk include /usr/share/cdbs/1/rules/autoreconf.mk ifeq (,$(findstring noopt,$(DEB_BUILD_OPTIONS))$(filter ia64 mipsel,$(DEB_HOST_ARCH))) CFLAGS += -O3 CXXFLAGS += -O3 endif CFLAGS += -D_REENTRANT $(CPPFLAGS) CXXFLAGS += -D_REENTRANT $(CPPFLAGS) DEB_CONFIGURE_EXTRA_FLAGS += DLLFLAGS="$(LDFLAGS)" GLDFLAGS="$(LDFLAGS)" ChangeLog: $(MAKE) ChangeLog common-install-prehook-impl:: ChangeLog build/libgecode-doc:: $(MAKE) doc binary-fixup/libgecode-doc:: find $(CURDIR)/debian/libgecode-doc/usr/share/doc/libgecode-doc/examples/ -type f -exec chmod 0644 '{}' ';' install -m 0644 -D debian/Makefile.examples $(CURDIR)/debian/libgecode-doc/usr/share/doc/libgecode-doc/examples/Makefile binary-fixup/libgecode-dev:: find $(CURDIR)/debian/libgecode-dev/usr/include -type f -exec chmod -x {} \; common-binary-fixup-arch:: for libso in `find debian/ -type f -regex 'debian/lib.*/lib.*\.so\.[0-9]+\.[0-9]+'`; do ln -s $${libso##*/} $${libso%.*}; done binary/libgecode-doc:: [ -e debian/libgecode-doc/usr/share/doc/libgecode-doc/html/ ] debian/libgecode-doc.doc-base0000644000000000000000000000054411347424705013257 0ustar Document: libgecode-doc Title: gecode API documentation Author: Christian Schulte, Gabor Szokoli, Guido Tack, Mikael Lagerkvist and Patrick Pekczynski Abstract: Doxygen generated API documentation for gecode library. Section: Programming/C++ Format: HTML Index: /usr/share/doc/libgecode-doc/html/index.html Files: /usr/share/doc/libgecode-doc/html/*.html debian/flatzinc.install0000644000000000000000000000015312121201234012353 0ustar tools/flatzinc/fzn-gecode /usr/bin tools/flatzinc/mzn-gecode /usr/bin debian/tmp/usr/share/gecode/mznlib/* debian/patches/0000755000000000000000000000000012141530461010612 5ustar debian/patches/no-O30000644000000000000000000000061211612011435011424 0ustar Index: gecode-3.6.0/gecode.m4 =================================================================== --- gecode-3.6.0.orig/gecode.m4 2011-07-21 14:52:24.987946218 +0300 +++ gecode-3.6.0/gecode.m4 2011-07-21 14:52:40.723946207 +0300 @@ -492,7 +492,6 @@ esac else AC_MSG_RESULT(no) - ac_gecode_gcc_optimize_flag=-O3 ac_gecode_cl_optimize_flag=-O2 fi]) debian/patches/series0000644000000000000000000000000612141530456012027 0ustar no-O3 debian/libgecodeflatzinc36.install0000644000000000000000000000006012237466156014407 0ustar debian/tmp/usr/lib/*/libgecodeflatzinc*.so.36.0 debian/libgecode-doc.docs0000644000000000000000000000001111523354720012512 0ustar doc/html debian/libgecodegist36.install0000644000000000000000000000013212237466156013543 0ustar debian/tmp/usr/lib/*/libgecodedriver*.so.36.0 debian/tmp/usr/lib/*/libgecodegist*.so.36.0 debian/control0000644000000000000000000001170212237466156010606 0ustar Source: gecode Priority: optional Maintainer: Kari Pahula Build-Depends: debhelper (>= 9), autotools-dev, libqt4-dev, cdbs (>= 0.4.93~), dh-autoreconf, libmpfr-dev Build-Depends-Indep: graphviz, doxygen Standards-Version: 3.9.4 Section: libs Homepage: http://www.gecode.org/ Package: libgecode-dev Section: libdevel Architecture: any Depends: libgecode36 (= ${binary:Version}), libgecodegist36 (= ${binary:Version}), libgecodeflatzinc36 (= ${binary:Version}), ${misc:Depends}, ${shlibs:Depends}, libqt4-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} 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: libgecode36 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: libgecodegist36 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: libgecodeflatzinc36 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} 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 . . 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.2.0 supports the FlatZinc language and MiniZinc global constraint definitions of MiniZinc version 1.6.0. debian/clean0000644000000000000000000000005712141531173010173 0ustar configure tools/flatzinc/mzn-gecode config.log debian/libgecode-dev.install0000644000000000000000000000007011724455022013246 0ustar debian/tmp/usr/include/gecode debian/tmp/usr/lib/*/*.so debian/sonameify0000755000000000000000000000121711724471157011120 0ustar #! /bin/bash set -e if [ -z "$1" -a -z "$2" ] ; then echo "usage: sonameify oldsoname newsoname" >&2 exit 0 fi sed s/$1/$2/g libgecode$1.install > libgecode$2.install rm libgecode$1.install sed s/$1/$2/g libgecodegist$1.install > libgecodegist$2.install rm libgecodegist$1.install sed s/$1/$2/g libgecodeflatzinc$1.install > libgecodeflatzinc$2.install rm libgecodeflatzinc$1.install sed s/$1/$2/g libgecode$1.lintian-overrides > libgecode$2.lintian-overrides rm libgecode$1.lintian-overrides sed -i s/libgecode$1/libgecode$2/ control sed -i s/libgecodegist$1/libgecodegist$2/ control sed -i s/libgecodeflatzinc$1/libgecodeflatzinc$2/ control debian/libgecode36.install0000644000000000000000000000047712237466156012670 0ustar debian/tmp/usr/lib/*/libgecodeint*.so.36.0 debian/tmp/usr/lib/*/libgecodefloat*.so.36.0 debian/tmp/usr/lib/*/libgecodekernel*.so.36.0 debian/tmp/usr/lib/*/libgecodeminimodel*.so.36.0 debian/tmp/usr/lib/*/libgecodesearch*.so.36.0 debian/tmp/usr/lib/*/libgecodeset*.so.36.0 debian/tmp/usr/lib/*/libgecodesupport*.so.36.0 debian/changelog0000644000000000000000000002253612237466222011056 0ustar gecode (4.2.1-1) unstable; urgency=low * New upstream release (soname 36) -- Kari Pahula Sat, 09 Nov 2013 19:10:41 +0200 gecode (4.2.0-1) unstable; urgency=low * New upstream release (soname 35) * Bump debhelper compat to 9. -- Kari Pahula Sat, 03 Aug 2013 21:00:55 +0300 gecode (4.0.0-2) unstable; urgency=low * Give make check LD_LIBRARY_PATH=. to make test work without gecode already installed, to fix FTBFS. -- Kari Pahula Sat, 25 May 2013 15:57:32 +0300 gecode (4.0.0-1) unstable; urgency=low * New upstream release (soname 33) * Standards-Version 3.9.4 (no changes necessary). * Compress debs with xz. * Make sure that the hardening flags get passed to gecode's build scripts. * Added build-dep libmpfr-dev. -- Kari Pahula Mon, 20 May 2013 22:01:23 +0300 gecode (3.7.3-1) unstable; urgency=low * New upstream release (soname 32) -- Kari Pahula Sun, 01 Apr 2012 00:16:09 +0300 gecode (3.7.2-1) unstable; urgency=low * New upstream release (soname 31) * Standards-Version 3.9.3 (no changes necessary). * Use cdbs and dh_autoreconf. * Multi-Arch: same. * Remove unused libboost-dev from build deps. -- Kari Pahula Sat, 31 Mar 2012 11:33:21 +0300 gecode (3.7.1-3) unstable; urgency=low * Patch channel constraint posting bug (http://www.gecode.org/pipermail/users/2011-October/003453.html) * Patch sorted constraint seg faults with empty arrays (http://www.gecode.org/pipermail/users/2011-November/003456.html) -- Kari Pahula Thu, 17 Nov 2011 20:17:30 +0200 gecode (3.7.1-2) unstable; urgency=low * Use -O2 on mipsel to avoid FTBFS with getting stuck at building gecode/set/branch/post-view.cpp. -- Kari Pahula Sun, 16 Oct 2011 11:05:58 +0300 gecode (3.7.1-1) unstable; urgency=low * New upstream release (soname 30) -- Kari Pahula Wed, 12 Oct 2011 18:14:44 +0300 gecode (3.7.0-1) unstable; urgency=low * New upstream release (soname 29) * Split off libgecodegist and libgecodedriver to libgecodegist29 package. (Closes: #625757) * Moved flatzinc to its own package and split off libgecodeflatzinc29 to a separate package too. -- Kari Pahula Tue, 06 Sep 2011 23:22:18 +0300 gecode (3.6.0-1) unstable; urgency=low * New upstream release (soname 28) -- Kari Pahula Mon, 08 Aug 2011 00:02:44 +0300 gecode (3.5.0-2) unstable; urgency=low * Merge install target with binary-arch and call dh_prep in both of build-{indep,arch}. (Closes: #625175) * Added more -l flags to the included examples/Makefile and made it gunzip gzipped examples. * Standards-Version 3.9.2 (no changes necessary). -- Kari Pahula Sun, 10 Jul 2011 22:23:09 +0300 gecode (3.5.0-1) unstable; urgency=low * New upstream release (soname 27) * Don't install /usr/include/examples to libgecode-dev -- Kari Pahula Sat, 05 Feb 2011 23:56:22 +0200 gecode (3.4.0-1) unstable; urgency=low * New upstream release * Standards-Version 3.9.1 (no changes necessary). -- Kari Pahula Tue, 27 Jul 2010 21:57:51 +0300 gecode (3.3.1-2) unstable; urgency=low * Add correct pkg-config QtGui calls to examples/Makefile in libgecode-doc. -- Kari Pahula Sat, 01 May 2010 19:58:24 +0300 gecode (3.3.1-1) unstable; urgency=low * New upstream release (soname 22) -- Kari Pahula Sat, 01 May 2010 01:12:01 +0300 gecode (3.3.0-2) unstable; urgency=low * Switch to dpkg-source 3.0 (quilt) format * Use -O2 on ia64 to avoid #568399. * Patch gecode.m4 to not force using -O3. * Add autoconf and automake as a build deps and run autoreconf in debian/rules. -- Kari Pahula Tue, 16 Mar 2010 23:11:28 +0200 gecode (3.3.0-1) unstable; urgency=low * New upstream release (soname 21) -- Kari Pahula Tue, 16 Mar 2010 14:19:41 +0200 gecode (3.2.2-1) unstable; urgency=low * New upstream release (soname 20) * Standards-Version: 3.8.4 (no changes needed) * Disable building static libraries. -- Kari Pahula Sun, 14 Feb 2010 19:03:01 +0200 gecode (3.2.1-1) unstable; urgency=low * New upstream release (soname 19) -- Kari Pahula Tue, 10 Nov 2009 22:02:14 +0200 gecode (3.2.0-1) unstable; urgency=low * New upstream release (soname 18) * Fixed a bashism in debian/rules. (Closes: #535382) * Standards-Version bumped to 3.8.3 (no changes needed). * Dropped the .pc files since upstream no longer provides them and adjusted the examples' Makefile accordingly. * Build and include FlatZinc executable (fz) in libgecode-dev. -- Kari Pahula Sun, 01 Nov 2009 15:52:31 +0200 gecode (3.1.0-1) unstable; urgency=low * New upstream release (soname 17) (Closes: #526675) * Run "make check" instead of test/test. * Build depend on libboost-dev, not libboost1.37-dev. (Closes: #534061) * Standards-Version bumped to 3.8.2 (no changes necessary). * Explicitly add -lgecodedriver to the LDFLAGS in the provided Makefile for examples in libgecode-doc. -- Kari Pahula Sat, 27 Jun 2009 22:29:21 +0300 gecode (3.0.2-1) unstable; urgency=low * New upstream release (soname 16) -- Kari Pahula Fri, 27 Mar 2009 10:40:36 +0200 gecode (3.0.0-2) unstable; urgency=low * Removed the information about BuDDy library from debian/copyright (Gecode no longer includes or uses it). -- Kari Pahula Fri, 20 Mar 2009 13:26:05 +0200 gecode (3.0.0-1) unstable; urgency=low * New upstream release (soname 14) (Closes: #507112) * Fixed build error with GCC 4.4 (Closes: #505081) * Dropped the number from the libgecode*-dev package. * Replaced libboost-serialization-dev with libboost1.37-dev as a Build-Dep. * Recognize parallel=n build option (Closes: #484101) * Enable running test suite on s390. * Standards-Version 3.8.1. * Enable building the Gecode Interactive Search Tool. * Build-Depends: libqt4-dev, Build-Conflicts: qt3-dev-tools. * Build float variable library (--enable-float-vars). -- Kari Pahula Wed, 18 Mar 2009 23:59:42 +0200 gecode (2.1.1-1) unstable; urgency=low * New upstream release -- Kari Pahula Wed, 19 Mar 2008 00:25:23 +0200 gecode (2.1.0-1) unstable; urgency=low * New upstream release * Improved the examples' Makefile. -- Kari Pahula Mon, 03 Mar 2008 07:03:35 +0200 gecode (2.0.1-1) unstable; urgency=low * New upstream release -- Kari Pahula Fri, 15 Feb 2008 18:36:50 +0200 gecode (2.0.0-1) unstable; urgency=low * New upstream release * Various small fixes to make the policy and lintian happy. * Provided a Makefile to compile the examples. -- Kari Pahula Wed, 09 Jan 2008 19:51:02 +0200 gecode (1.3.1-1) unstable; urgency=low * New upstream release * Added a default value for prop_bnd in int/distinct.hh to maintain API compatibility. -- Kari Pahula Thu, 26 Oct 2006 11:22:28 +0300 gecode (1.3.0-1) unstable; urgency=low * New upstream release * Check for DEB_BUILD_GNU_TYPE when testing whether to run the test suite, not DEB_HOST_GNU_TYPE -- Kari Pahula Wed, 20 Sep 2006 08:22:37 +0300 gecode (1.2.2-1) unstable; urgency=low * New upstream release * Use -E instead of -e with grep in the host arch check regexp in debian/rules (oops) * libgecode6-dev: Provides and Conflicts libgecode-dev -- Kari Pahula Wed, 26 Jul 2006 06:21:09 +0300 gecode (1.2.0-1) unstable; urgency=low * New upstream release - Detects GNU/kFreeBSD correctly now (Closes: #370470) * Disabled running test on s390 too (Closes: #370466) * Moved doxygen and graphviz to Build-Depends-Indep again and tested it too. * Put all libraries to single libgecode4 package. -- Kari Pahula Mon, 26 Jun 2006 14:06:15 +0300 gecode (1.1.0-2) unstable; urgency=low * Moved doxygen from Build-Depends-Indep to Build-Depends (Closes: #370415) -- Kari Pahula Mon, 5 Jun 2006 11:12:21 +0300 gecode (1.1.0-1) unstable; urgency=low * New upstream release - Upstream removed the parallel stuff themselves, no need to repackage orig.tar.gz anymore * Disable running test on arm and m68k architectures. * Policy version 3.6.2 -> 3.7.2 (no changes necessary) -- Kari Pahula Fri, 5 May 2006 20:56:06 +0300 gecode (1.0.1.dfsg.1-1) unstable; urgency=low * New upstream release * Added make test and test/test to the build debian/rules target. * Build static libraries for -dev package. * Removed parallel.hh and parallel/ due to unclear license from the orig.tar.gz tarball. -- Kari Pahula Sun, 26 Mar 2006 21:23:38 +0300 gecode (1.0.0.dfsg.1-2) unstable; urgency=low * Properly separate targets to -arch and -indep in debian/rules (Closes: #345332) -- Kari Pahula Mon, 2 Jan 2006 10:59:11 +0200 gecode (1.0.0.dfsg.1-1) unstable; urgency=low * Initial release Closes: #343940 * Set sonames for libraries, use major version 0 for now * Repackaged orig.tar.gz because of missing contribs/map/LICENSE -- Kari Pahula Sat, 24 Dec 2005 07:51:25 +0200 debian/libgecode-doc.install0000644000000000000000000000017211724231024013232 0ustar examples/scowl.hpp usr/share/doc/libgecode-doc/examples/examples examples/*.cpp usr/share/doc/libgecode-doc/examples debian/copyright0000644000000000000000000004052612177132666011143 0ustar This package was debianized by Kari Pahula on Thu, 22 Dec 2005 11:18:54 +0200. It was downloaded from http://www.gecode.org/download.html Copyright Holders: * 2002-2013 Christian Schulte * 2004-2013 Guido Tack * 2005-2012 Mikael Lagerkvist * 2013 Stefano Gualandi * 2013 Victor Zverovich * 2012 Gabriel Hjort Blindell * 2012 Vincent Barichard * 2011 Joseph Scott * 2011-2013 Christopher Mears * 2011 Gregory Crosswhite * 2009 David Rijsman * 2009 Tias Guns * 2009 LOGIS, s.r.o. * 2009 Håkan Kjellerstrand * 2008 Raphael Reischuk * 2007-2008 Universite d'Orleans * 2007-2008 Niko Paltzer * 2004-2006 Patrick Pekczynski * 2003-2004 Gabor Szokoli * 2002 Denys Duchier * 2005 Grégoire Dooms License: GECODE LICENSE AGREEMENT This software and its documentation are copyrighted by the individual authors as listed in each file. The following terms apply to all files associated with the software unless explicitly disclaimed in individual files. Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. Gecode includes qecode. Copyright 2008-2010 Universite d'Orleans - Jeremie Vautard 2007 Universite d'Orleans - Jeremie Vautard, Marco Benedetti, Arnaud Lallouet. 2003-2005 Niklas Een, Niklas Sorensson Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. Gecode includes examples/scowl.hpp, which has wordlists taken from SCOWL, english-55. Excerpt from the included README: Spell Checking Oriented Word Lists (SCOWL) Revision 6 August 10, 2004 by Kevin Atkinson The SCOWL is a collection of word lists split up in various sizes, and other categories, intended to be suitable for use in spell checkers. However, I am sure it will have numerous other uses as well. The latest version can be found at http://wordlist.sourceforge.net/ ... COPYRIGHT, SOURCES, and CREDITS: The collective work is Copyright 2000-2004 by Kevin Atkinson as well as any of the copyrights mentioned below: Copyright 2000-2004 by Kevin Atkinson Permission to use, copy, modify, distribute and sell these word lists, the associated scripts, the output created from the scripts, and its documentation for any purpose is hereby granted without fee, provided that the above copyright notice appears in all copies and that both that copyright notice and this permission notice appear in supporting documentation. Kevin Atkinson makes no representations about the suitability of this array for any purpose. It is provided "as is" without express or implied warranty. Alan Beale also deserves special credit as he has, in addition to providing the 12Dicts package and being a major contributor to the ENABLE word list, given me an incredible amount of feedback and created a number of special lists (those found in the Supplement) in order to help improve the overall quality of SCOWL. The 10 level includes the 1000 most common English words (according to the Moby (TM) Words II [MWords] package), a subset of the 1000 most common words on the Internet (again, according to Moby Words II), and frequently class 16 from Brian Kelk's "UK English Wordlist with Frequency Classification". The MWords package was explicitly placed in the public domain: The Moby lexicon project is complete and has been place into the public domain. Use, sell, rework, excerpt and use in any way on any platform. Placing this material on internal or public servers is also encouraged. The compiler is not aware of any export restrictions so freely distribute world-wide. You can verify the public domain status by contacting Grady Ward 3449 Martha Ct. Arcata, CA 95521-4884 grady@netcom.com grady@northcoast.com The "UK English Wordlist With Frequency Classification" is also in the Public Domain: Date: Sat, 08 Jul 2000 20:27:21 +0100 From: Brian Kelk > I was wondering what the copyright status of your "UK English > Wordlist With Frequency Classification" word list as it seems to > be lacking any copyright notice. There were many many sources in total, but any text marked "copyright" was avoided. Locally-written documentation was one source. An earlier version of the list resided in a filespace called PUBLIC on the University mainframe, because it was considered public domain. Date: Tue, 11 Jul 2000 19:31:34 +0100 > So are you saying your word list is also in the public domain? That is the intention. The 20 level includes frequency classes 7-15 from Brian's word list. The 35 level includes frequency classes 2-6 and words appearing in at least 11 of 12 dictionaries as indicated in the 12Dicts package. All words from the 12Dicts package have had likely inflections added via my inflection database. The 12Dicts package and Supplement is in the Public Domain. The WordNet database, which was used in the creation of the Inflections database, is under the following copyright: This software and database is being provided to you, the LICENSEE, by Princeton University under the following license. By obtaining, using and/or copying this software and database, you agree that you have read, understood, and will comply with these terms and conditions.: Permission to use, copy, modify and distribute this software and database and its documentation for any purpose and without fee or royalty is hereby granted, provided that you agree to comply with the following copyright notice and statements, including the disclaimer, and that the same appear on ALL copies of the software, database and documentation, including modifications that you make for internal use or for distribution. WordNet 1.6 Copyright 1997 by Princeton University. All rights reserved. THIS SOFTWARE AND DATABASE IS PROVIDED "AS IS" AND PRINCETON UNIVERSITY MAKES NO REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED. BY WAY OF EXAMPLE, BUT NOT LIMITATION, PRINCETON UNIVERSITY MAKES NO REPRESENTATIONS OR WARRANTIES OF MERCHANT- ABILITY OR FITNESS FOR ANY PARTICULAR PURPOSE OR THAT THE USE OF THE LICENSED SOFTWARE, DATABASE OR DOCUMENTATION WILL NOT INFRINGE ANY THIRD PARTY PATENTS, COPYRIGHTS, TRADEMARKS OR OTHER RIGHTS. The name of Princeton University or Princeton may not be used in advertising or publicity pertaining to distribution of the software and/or database. Title to copyright in this software, database and any associated documentation shall at all times remain with Princeton University and LICENSEE agrees to preserve same. The 40 level includes words from Alan's 3esl list found in version 4.0 of his 12dicts package. Like his other stuff the 3esl list is also in the public domain. The 50 level includes Brian's frequency class 1, words words appearing in at least 5 of 12 of the dictionaries as indicated in the 12Dicts package, and uppercase words in at least 4 of the previous 12 dictionaries. A decent number of proper names is also included: The top 1000 male, female, and Last names from the 1990 Census report; a list of names sent to me by Alan Beale; and a few names that I added myself. Finally a small list of abbreviations not commonly found in other word lists is included. The name files form the Census report is a government document which I don't think can be copyrighted. The file special-jargon.50 uses common.lst and word.lst from the "Unofficial Jargon File Word Lists" which is derived from "The Jargon File". All of which is in the Public Domain. This file also contain a few extra UNIX terms which are found in the file "unix-terms" in the special/ directory. The 55 level includes words from Alan's 2of4brif list found in version 4.0 of his 12dicts package. Like his other stuff the 2of4brif is also in the public domain. ... UKACD, by J Ross Beresford , is under the following copyright: Copyright (c) J Ross Beresford 1993-1999. All Rights Reserved. The following restriction is placed on the use of this publication: if The UK Advanced Cryptics Dictionary is used in a software package or redistributed in any form, the copyright notice must be prominently displayed and the text of this document must be included verbatim. There are no other restrictions: I would like to see the list distributed as widely as possible. ... Accent information was taken from UKACD. My VARCON package was used to create the American, British, and Canadian word list. Since the original word lists used used in the VARCON package came from the Ispell distribution they are under the Ispell copyright: Copyright 1993, Geoff Kuenning, Granada Hills, CA All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. 3. All modifications to the source code must be clearly marked as such. Binary redistributions based on modified source code must be clearly marked as modified versions in the documentation and/or other materials provided with the distribution. (clause 4 removed with permission from Geoff Kuenning) 5. The name of Geoff Kuenning may not be used to endorse or promote products derived from this software without specific prior written permission. THIS SOFTWARE IS PROVIDED BY GEOFF KUENNING AND CONTRIBUTORS ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL GEOFF KUENNING OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. The variant word lists were created from a list of variants found in the 12dicts supplement package as well as a list of variants I created myself. Gecode includes parts of Boost library. (C) Copyright John Maddock 1999, 2001 - 2008 (C) Copyright David Abrahams 2002 - 2003 (C) Copyright Aleksey Gurtovoy 2002 - 2003 (C) Copyright Douglas Gregor 2001 - 2002, 2010 (C) Copyright Peter Dimov 2001 (C) Copyright Beman Dawes 2001 - 2003 (C) Copyright Jens Maurer 2000 - 2003 (C) Copyright Markus Schoepflin 2002 - 2003, 2005 (C) Copyright Christof Meerwald 2003 (C) Copyright Dan Watkins 2003 (C) Copyright Synge Todo 2003 (C) Copyright Toon Knapen 2001 - 2003 (C) Copyright Boris Gubenko 2006 - 2007 (C) Copyright Guillaume Melquiond 2002 - 2003 (C) Copyright Martin Wille 2003 (C) Copyright Darin Adler 2001 (C) Copyright Stefan Slapeta 2004 (C) Copyright Eric Jourdanneau, Joel Falcou 2010 (C) Copyright Bryce Lelbach 2011 (C) Copyright Noel Belcourt 2007 (C) Copyright Lie-Quan Lee 2001 (C) Copyright Bill Kempf 2002 (C) Copyright Jim Douglas 2005 (C) Copyright Yuriy Krasnoschek 2009 (C) Copyright Artyom Beilis 2010 (C) Copyright Dustin Spicuzza 2009 (C) Copyright Rene Rivera 2005, 2010 (C) Copyright Christopher Jefferson 2011 (C) Copyright 2003 Gennaro Prota (C) Copyright 2003 Eric Friedman (C) Copyright 2005 Caleb Epstein (C) Copyright 2002-2003 Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion (C) Copyright 2005 Felix Höfling, Guillaume Melquiond (C) Copyright 2000 Maarten Keijzer Boost Software License - Version 1.0 - August 17th, 2003 Permission is hereby granted, free of charge, to any person or organization obtaining a copy of the software and accompanying documentation covered by this license (the "Software") to use, reproduce, display, distribute, execute, and transmit the Software, and to prepare derivative works of the Software, and to permit third-parties to whom the Software is furnished to do so, all subject to the following: The copyright notices in the Software and this entire statement, including the above license grant, this restriction and the following disclaimer, must be included in all copies of the Software, in whole or in part, and all derivative works of the Software, unless such copies or derivative works are solely in the form of machine-executable object code generated by a source language processor. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. Copyright (c) 1997 Silicon Graphics Computer Systems, Inc. Permission to use, copy, modify, distribute and sell this software and its documentation for any purpose is hereby granted without fee, provided that the above copyright notice appear in all copies and that both that copyright notice and this permission notice appear in supporting documentation. Silicon Graphics makes no representations about the suitability of this software for any purpose. It is provided "as is" without express or implied warranty. debian/libgecode-doc.lintian-overrides0000644000000000000000000000022211523347550015227 0ustar # A couple of examples have #include "examples/scowl.hpp" libgecode-doc: nested-examples-directory usr/share/doc/libgecode-doc/examples/examples/ debian/Makefile.examples0000644000000000000000000000117312177246130012450 0ustar CXXFLAGS=-O3 `pkg-config QtGui --cflags` LDFLAGS=-lgecodedriver -lgecodesupport -lgecodekernel -lgecodesearch -lgecodeint -lgecodeminimodel -lgecodegist -lgecodeset -lgecodefloat -lpthread `pkg-config QtGui --libs` EXAMPLES=$(patsubst %.cpp,%,$(wildcard *.cpp)) $(patsubst %.cpp.gz,%,$(wildcard *.cpp.gz)) all: $(EXAMPLES) examples/scowl.hpp $(addsuffix .cpp,$(EXAMPLES)): gunzip $@.gz $(addsuffix .o,$(EXAMPLES)): $(addsuffix .cpp,$(EXAMPLES)) examples/scowl.hpp g++ $(CXXFLAGS) $(patsubst %.o,%.cpp,$@) -c clean: rm -f $(EXAMPLES) rm -f *.o .PHONY: all clean .SECONDEXPANSION: $(EXAMPLES): $$@.o g++ $(LDFLAGS) $@.o -o $@ debian/libgecode36.lintian-overrides0000644000000000000000000000051012237466156014644 0ustar # The library uses templates heavily and every new upstream release # gets a new soname. There's no harm in putting all the libraries in # the same package. libgecode36: package-name-doesnt-match-sonames libgecodefloat36 libgecodeint36 libgecodekernel36 libgecodeminimodel36 libgecodesearch36 libgecodeset36 libgecodesupport36