this repo has no description
dekker.one
1 GECODE CONTRIBUTIONS
2======================================================================
3
41. External contributions
5This directory contains external contributions to the Gecode
6system. Please see our web pages for more information about the
7contributors:
8
9http://www.gecode.org/contributions.html
10
112. Installation
12The contributions are distributed together with Gecode to ease
13compilation and installation. They are not enabled by default. Please
14refer to the installation instructions in the individual
15subdirectories if you want to use these contributions.
16
173. License issues
18The external contributions may be distributed under a license that is
19different from the Gecode license. Please see the individual LICENSE
20files in the contributed subdirectories.
21
224. Bugs
23Please do not use the Gecode bugtracking system to report bugs in
24external contributions. If you find bugs in contributed code, please
25see the contributors' web pages for information on how to contact
26them.