A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1If not noted otherwise in individual file headers, all files that make up
2the libminizinc distribution are released under the Mozilla Public License
3Version 2.0, a copy of which can be found below.
4
5A notable exception is the file
6 include/minizinc/thirdparty/SafeInt3.hpp
7which is distributed under the Microsoft Public License (Ms-PL), see the
8file header for details.
9
10Mozilla Public License Version 2.0
11==================================
12
131. Definitions
14--------------
15
161.1. "Contributor"
17 means each individual or legal entity that creates, contributes to
18 the creation of, or owns Covered Software.
19
201.2. "Contributor Version"
21 means the combination of the Contributions of others (if any) used
22 by a Contributor and that particular Contributor's Contribution.
23
241.3. "Contribution"
25 means Covered Software of a particular Contributor.
26
271.4. "Covered Software"
28 means Source Code Form to which the initial Contributor has attached
29 the notice in Exhibit A, the Executable Form of such Source Code
30 Form, and Modifications of such Source Code Form, in each case
31 including portions thereof.
32
331.5. "Incompatible With Secondary Licenses"
34 means
35
36 (a) that the initial Contributor has attached the notice described
37 in Exhibit B to the Covered Software; or
38
39 (b) that the Covered Software was made available under the terms of
40 version 1.1 or earlier of the License, but not also under the
41 terms of a Secondary License.
42
431.6. "Executable Form"
44 means any form of the work other than Source Code Form.
45
461.7. "Larger Work"
47 means a work that combines Covered Software with other material, in
48 a separate file or files, that is not Covered Software.
49
501.8. "License"
51 means this document.
52
531.9. "Licensable"
54 means having the right to grant, to the maximum extent possible,
55 whether at the time of the initial grant or subsequently, any and
56 all of the rights conveyed by this License.
57
581.10. "Modifications"
59 means any of the following:
60
61 (a) any file in Source Code Form that results from an addition to,
62 deletion from, or modification of the contents of Covered
63 Software; or
64
65 (b) any new file in Source Code Form that contains any Covered
66 Software.
67
681.11. "Patent Claims" of a Contributor
69 means any patent claim(s), including without limitation, method,
70 process, and apparatus claims, in any patent Licensable by such
71 Contributor that would be infringed, but for the grant of the
72 License, by the making, using, selling, offering for sale, having
73 made, import, or transfer of either its Contributions or its
74 Contributor Version.
75
761.12. "Secondary License"
77 means either the GNU General Public License, Version 2.0, the GNU
78 Lesser General Public License, Version 2.1, the GNU Affero General
79 Public License, Version 3.0, or any later versions of those
80 licenses.
81
821.13. "Source Code Form"
83 means the form of the work preferred for making modifications.
84
851.14. "You" (or "Your")
86 means an individual or a legal entity exercising rights under this
87 License. For legal entities, "You" includes any entity that
88 controls, is controlled by, or is under common control with You. For
89 purposes of this definition, "control" means (a) the power, direct
90 or indirect, to cause the direction or management of such entity,
91 whether by contract or otherwise, or (b) ownership of more than
92 fifty percent (50%) of the outstanding shares or beneficial
93 ownership of such entity.
94
952. License Grants and Conditions
96--------------------------------
97
982.1. Grants
99
100Each Contributor hereby grants You a world-wide, royalty-free,
101non-exclusive license:
102
103(a) under intellectual property rights (other than patent or trademark)
104 Licensable by such Contributor to use, reproduce, make available,
105 modify, display, perform, distribute, and otherwise exploit its
106 Contributions, either on an unmodified basis, with Modifications, or
107 as part of a Larger Work; and
108
109(b) under Patent Claims of such Contributor to make, use, sell, offer
110 for sale, have made, import, and otherwise transfer either its
111 Contributions or its Contributor Version.
112
1132.2. Effective Date
114
115The licenses granted in Section 2.1 with respect to any Contribution
116become effective for each Contribution on the date the Contributor first
117distributes such Contribution.
118
1192.3. Limitations on Grant Scope
120
121The licenses granted in this Section 2 are the only rights granted under
122this License. No additional rights or licenses will be implied from the
123distribution or licensing of Covered Software under this License.
124Notwithstanding Section 2.1(b) above, no patent license is granted by a
125Contributor:
126
127(a) for any code that a Contributor has removed from Covered Software;
128 or
129
130(b) for infringements caused by: (i) Your and any other third party's
131 modifications of Covered Software, or (ii) the combination of its
132 Contributions with other software (except as part of its Contributor
133 Version); or
134
135(c) under Patent Claims infringed by Covered Software in the absence of
136 its Contributions.
137
138This License does not grant any rights in the trademarks, service marks,
139or logos of any Contributor (except as may be necessary to comply with
140the notice requirements in Section 3.4).
141
1422.4. Subsequent Licenses
143
144No Contributor makes additional grants as a result of Your choice to
145distribute the Covered Software under a subsequent version of this
146License (see Section 10.2) or under the terms of a Secondary License (if
147permitted under the terms of Section 3.3).
148
1492.5. Representation
150
151Each Contributor represents that the Contributor believes its
152Contributions are its original creation(s) or it has sufficient rights
153to grant the rights to its Contributions conveyed by this License.
154
1552.6. Fair Use
156
157This License is not intended to limit any rights You have under
158applicable copyright doctrines of fair use, fair dealing, or other
159equivalents.
160
1612.7. Conditions
162
163Sections 3.1, 3.2, 3.3, and 3.4 are conditions of the licenses granted
164in Section 2.1.
165
1663. Responsibilities
167-------------------
168
1693.1. Distribution of Source Form
170
171All distribution of Covered Software in Source Code Form, including any
172Modifications that You create or to which You contribute, must be under
173the terms of this License. You must inform recipients that the Source
174Code Form of the Covered Software is governed by the terms of this
175License, and how they can obtain a copy of this License. You may not
176attempt to alter or restrict the recipients' rights in the Source Code
177Form.
178
1793.2. Distribution of Executable Form
180
181If You distribute Covered Software in Executable Form then:
182
183(a) such Covered Software must also be made available in Source Code
184 Form, as described in Section 3.1, and You must inform recipients of
185 the Executable Form how they can obtain a copy of such Source Code
186 Form by reasonable means in a timely manner, at a charge no more
187 than the cost of distribution to the recipient; and
188
189(b) You may distribute such Executable Form under the terms of this
190 License, or sublicense it under different terms, provided that the
191 license for the Executable Form does not attempt to limit or alter
192 the recipients' rights in the Source Code Form under this License.
193
1943.3. Distribution of a Larger Work
195
196You may create and distribute a Larger Work under terms of Your choice,
197provided that You also comply with the requirements of this License for
198the Covered Software. If the Larger Work is a combination of Covered
199Software with a work governed by one or more Secondary Licenses, and the
200Covered Software is not Incompatible With Secondary Licenses, this
201License permits You to additionally distribute such Covered Software
202under the terms of such Secondary License(s), so that the recipient of
203the Larger Work may, at their option, further distribute the Covered
204Software under the terms of either this License or such Secondary
205License(s).
206
2073.4. Notices
208
209You may not remove or alter the substance of any license notices
210(including copyright notices, patent notices, disclaimers of warranty,
211or limitations of liability) contained within the Source Code Form of
212the Covered Software, except that You may alter any license notices to
213the extent required to remedy known factual inaccuracies.
214
2153.5. Application of Additional Terms
216
217You may choose to offer, and to charge a fee for, warranty, support,
218indemnity or liability obligations to one or more recipients of Covered
219Software. However, You may do so only on Your own behalf, and not on
220behalf of any Contributor. You must make it absolutely clear that any
221such warranty, support, indemnity, or liability obligation is offered by
222You alone, and You hereby agree to indemnify every Contributor for any
223liability incurred by such Contributor as a result of warranty, support,
224indemnity or liability terms You offer. You may include additional
225disclaimers of warranty and limitations of liability specific to any
226jurisdiction.
227
2284. Inability to Comply Due to Statute or Regulation
229---------------------------------------------------
230
231If it is impossible for You to comply with any of the terms of this
232License with respect to some or all of the Covered Software due to
233statute, judicial order, or regulation then You must: (a) comply with
234the terms of this License to the maximum extent possible; and (b)
235describe the limitations and the code they affect. Such description must
236be placed in a text file included with all distributions of the Covered
237Software under this License. Except to the extent prohibited by statute
238or regulation, such description must be sufficiently detailed for a
239recipient of ordinary skill to be able to understand it.
240
2415. Termination
242--------------
243
2445.1. The rights granted under this License will terminate automatically
245if You fail to comply with any of its terms. However, if You become
246compliant, then the rights granted under this License from a particular
247Contributor are reinstated (a) provisionally, unless and until such
248Contributor explicitly and finally terminates Your grants, and (b) on an
249ongoing basis, if such Contributor fails to notify You of the
250non-compliance by some reasonable means prior to 60 days after You have
251come back into compliance. Moreover, Your grants from a particular
252Contributor are reinstated on an ongoing basis if such Contributor
253notifies You of the non-compliance by some reasonable means, this is the
254first time You have received notice of non-compliance with this License
255from such Contributor, and You become compliant prior to 30 days after
256Your receipt of the notice.
257
2585.2. If You initiate litigation against any entity by asserting a patent
259infringement claim (excluding declaratory judgment actions,
260counter-claims, and cross-claims) alleging that a Contributor Version
261directly or indirectly infringes any patent, then the rights granted to
262You by any and all Contributors for the Covered Software under Section
2632.1 of this License shall terminate.
264
2655.3. In the event of termination under Sections 5.1 or 5.2 above, all
266end user license agreements (excluding distributors and resellers) which
267have been validly granted by You or Your distributors under this License
268prior to termination shall survive termination.
269
270************************************************************************
271* *
272* 6. Disclaimer of Warranty *
273* ------------------------- *
274* *
275* Covered Software is provided under this License on an "as is" *
276* basis, without warranty of any kind, either expressed, implied, or *
277* statutory, including, without limitation, warranties that the *
278* Covered Software is free of defects, merchantable, fit for a *
279* particular purpose or non-infringing. The entire risk as to the *
280* quality and performance of the Covered Software is with You. *
281* Should any Covered Software prove defective in any respect, You *
282* (not any Contributor) assume the cost of any necessary servicing, *
283* repair, or correction. This disclaimer of warranty constitutes an *
284* essential part of this License. No use of any Covered Software is *
285* authorized under this License except under this disclaimer. *
286* *
287************************************************************************
288
289************************************************************************
290* *
291* 7. Limitation of Liability *
292* -------------------------- *
293* *
294* Under no circumstances and under no legal theory, whether tort *
295* (including negligence), contract, or otherwise, shall any *
296* Contributor, or anyone who distributes Covered Software as *
297* permitted above, be liable to You for any direct, indirect, *
298* special, incidental, or consequential damages of any character *
299* including, without limitation, damages for lost profits, loss of *
300* goodwill, work stoppage, computer failure or malfunction, or any *
301* and all other commercial damages or losses, even if such party *
302* shall have been informed of the possibility of such damages. This *
303* limitation of liability shall not apply to liability for death or *
304* personal injury resulting from such party's negligence to the *
305* extent applicable law prohibits such limitation. Some *
306* jurisdictions do not allow the exclusion or limitation of *
307* incidental or consequential damages, so this exclusion and *
308* limitation may not apply to You. *
309* *
310************************************************************************
311
3128. Litigation
313-------------
314
315Any litigation relating to this License may be brought only in the
316courts of a jurisdiction where the defendant maintains its principal
317place of business and such litigation shall be governed by laws of that
318jurisdiction, without reference to its conflict-of-law provisions.
319Nothing in this Section shall prevent a party's ability to bring
320cross-claims or counter-claims.
321
3229. Miscellaneous
323----------------
324
325This License represents the complete agreement concerning the subject
326matter hereof. If any provision of this License is held to be
327unenforceable, such provision shall be reformed only to the extent
328necessary to make it enforceable. Any law or regulation which provides
329that the language of a contract shall be construed against the drafter
330shall not be used to construe this License against a Contributor.
331
33210. Versions of the License
333---------------------------
334
33510.1. New Versions
336
337Mozilla Foundation is the license steward. Except as provided in Section
33810.3, no one other than the license steward has the right to modify or
339publish new versions of this License. Each version will be given a
340distinguishing version number.
341
34210.2. Effect of New Versions
343
344You may distribute the Covered Software under the terms of the version
345of the License under which You originally received the Covered Software,
346or under the terms of any subsequent version published by the license
347steward.
348
34910.3. Modified Versions
350
351If you create software not governed by this License, and you want to
352create a new license for such software, you may create and use a
353modified version of this License if you rename the license and remove
354any references to the name of the license steward (except to note that
355such modified license differs from this License).
356
35710.4. Distributing Source Code Form that is Incompatible With Secondary
358Licenses
359
360If You choose to distribute Source Code Form that is Incompatible With
361Secondary Licenses under the terms of this version of the License, the
362notice described in Exhibit B of this License must be attached.
363
364Exhibit A - Source Code Form License Notice
365-------------------------------------------
366
367 This Source Code Form is subject to the terms of the Mozilla Public
368 License, v. 2.0. If a copy of the MPL was not distributed with this
369 file, You can obtain one at http://mozilla.org/MPL/2.0/.
370
371If it is not possible or desirable to put the notice in a particular
372file, then You may include the notice in a location (such as a LICENSE
373file in a relevant directory) where a recipient would be likely to look
374for such a notice.
375
376You may add additional accurate notices of copyright ownership.
377
378Exhibit B - "Incompatible With Secondary Licenses" Notice
379---------------------------------------------------------
380
381 This Source Code Form is "Incompatible With Secondary Licenses", as
382 defined by the Mozilla Public License, v. 2.0.