Third-party notices
This page lists component sources, licenses and attribution requirements. It is for users reusing task materials or preparing a distribution.
Third-party terms apply to the corresponding files in task folders and containers. Original license texts are under docs/licenses/third-party/. Use distribution conditions for resource-specific sharing scope and component records for pinned source and file lists.
Solver code, data, and reference materials
Read each row for the named component and its required attribution. Paths under environment/app/ are relative to the task identified in that row.
| Resource and location | Source, author, and terms | Attribution and distribution conditions |
|---|---|---|
BPPLIB instances: tasks/solver/online/bpp-bpplib/environment/app/instances/, library/, and tests/official-instances/ | M. Delorme, M. Iori, S. Martello, and the authors of each family; BPPLIB license, CC BY-NC-ND 4.0 | Retain original attribution and license. The non-commercial and no-derivatives conditions remain in force. |
| BPPLIB packings, registry-table extraction, and transformed data, including hidden judging data | Derived from the BPPLIB data and solution logs under the same CC BY-NC-ND 4.0 terms | Obtain the originals and prepare any required files locally. Keep derived files local under the distribution conditions. The source and preparation record and table-source record identify the materials. |
Course-timetabling instances and transformations: tasks/solver/online/curriculum-itc2007/ | Sara Ceschia, Francesca Da Ros, Luca Di Gaspero, Andrea Schaerf; cb-ctt license, CC BY 4.0 | Attribute the authors and retain conversion notes. comp15 corresponds to official comp03; the license basis does not extend to comp11. See the source comparison. |
CPSolver wrapper source: environment/app/cpsolver-src/ | Tomáš Müller et al.; original repository; source headers specify LGPL-3.0-or-later | Retain source headers, original notices, and modification notes. Provide the corresponding source and build materials with a distributed binary. |
CPSolver core JAR: environment/app/lib/cpsolver-all-1.2.jar | CPSolver 1.2_bld46; upstream task-package source; LGPL-3.0 text in the JAR | The source, build, and replacement guide identifies the corresponding release source and required package contents. Retain the LGPL and related dependency notices. |
dom4j 1.6.1: environment/app/lib/dom4j-1.6.1.jar | MetaStuff Ltd.; five-clause BSD-style terms in the JAR's META-INF/LICENSE.txt | Preserve the full notice, including attribution, no-endorsement, and name restrictions. Keep all five clauses intact. |
log4j 1.2.8: environment/app/lib/log4j-1.2.8.jar | Apache Software Foundation; Apache Software License 1.1 in the official source archive | Retain the complete license, its required acknowledgment, and its name restrictions. See third-party/Log4j-1.2.8-Apache-1.1.txt. |
Official ITC 2007 validator.cc and OptHub best-known solutions | Andrea Schaerf, Luca Di Gaspero, and solution contributors; ITC 2007 and OptHub | Redistribution terms for these files remain unconfirmed. Obtain them from their original sources and follow their individual terms. |
MQLib software: tasks/solver/online/maxcut-mqlib/environment/app/mqlib/ | Iain Dunning, Swati Gupta, and John Silberholz; MQLib license, MIT | Retain copyright, the MIT license, and notices for modified code. Instance data has the family-specific terms below; consult each source for accompanying papers and supplements. |
| MQLib instances and transformed copies | The MQLib download script points to sources hosted separately | Instance terms vary by family. Obtain each item from its source and follow the conditions for that family. |
OR-Library instances g001642, g002564, and g002776, used by MQLib | J. E. Beasley; OR-Library legal page, MIT | Retain Beasley's copyright, the full MIT text, and attribution for the MQLib transformation. This basis covers only these three instances. See the MQLib family record. |
| ROADEF/EURO 2012 instances, rearranged copies, and Google checker | Pinned Google OR-Tools source, Apache-2.0 | Retain Google attribution, the license, and notes on changes to the source files and data. The source-chain record identifies the corresponding materials. |
| ROADEF challenge PDF and project-generated reference assignments | Official challenge page; the reference assignments were generated by this project | Redistribution terms for the PDF are not established; obtain it from the official source. The reference assignments are project-generated numerical outputs, documented in the source record. The source record identifies them separately from the PDF and checker code. |
ROADEF checker source: environment/app/checker-src/ | Copyright 2011 Google Inc. All Rights Reserved.; pinned official source above, Apache-2.0 | Retain Google's copyright and license, and identify the blank-line changes. See the source comparison. |
Qute source: tasks/solver/online/qbf-qbfeval/environment/app/qute/ | Friedrich Slivovsky and Tomáš Peitl; pinned source; MIT terms in the authors' software supplement | Retain the source revision, copyright, full license, and the fact that the license was added after the older source snapshot. Applicability of the later MIT notice to the older snapshot remains unconfirmed. See the version comparison. |
| MiniSat and docopt.cpp bundled with Qute | Original component authors; bundled MiniSat, LICENSE-MIT, and LICENSE-Boost-1.0 files | Retain each component's original notice separately, including both docopt.cpp license texts. |
| qrp2rup | Tomáš Peitl; 2026 CC BY 4.0 software supplement, attributed to Tomáš Peitl and Leroy Chew | Attribute the source, mark modifications, and provide the corresponding source and notices with binaries. See the source record and materials list. |
| drat-trim | Marijn Heule and Nathan Wetzler; pinned source header, MIT | Retain the copyright, license, and disclaimer from the source header when distributing the binary. |
| QBFEVAL data, public and hidden instances, and transformed copies | Official QBFEVAL 2020 rules; ParaProofa v1 supplement, CC BY 4.0 | Attribute Mark Peyrer, Maximilian Heisinger, Martina Seidl, and the original instance families. The three BMC instances retain University of Toronto 2007 non-commercial teaching and research terms. See the per-instance source record and included-material list. |
The exact acknowledgment required by the log4j 1.2.8 terms is: “This product includes software developed by the Apache Software Foundation (http://www.apache.org/).” The complete original terms are in third-party/Log4j-1.2.8-Apache-1.1.txt.
Lean, construction, and system components
Read each row for the pinned component or mathematical-data source.
| Resource | Source and terms | Attribution and distribution conditions |
|---|---|---|
| Lean 4.33.0-rc1 and elan 4.2.3 | Lean license and elan license, Apache-2.0 | Retain both notices and applicable notices for components included in the image. |
mathlib commit 5b3f719bf129e3cf48daf6ff76a2ec5cb6e9b1e3 | Pinned mathlib license, Apache-2.0 | Retain file-level copyright headers. Use matching source, compiled cache, version, and notices. |
| Batteries, Aesop, Qq, ProofWidgets, ImportGraph, LeanSearchClient, and Plausible | Licenses at their pinned commits; Apache-2.0 notices are in third-party/ | Retain component notices. ProofWidgets' generated browser code has dependencies with their own licenses; see the frontend license record. |
Lean4 CLI commit da07ca808b6718cb2aed14dba154e5a08b8f8ecf | mhuisi; pinned license, MIT | Retain its MIT notice; it is separate from Lean's Apache-2.0 license. |
| Frege definition layer based on FormalizedFormalLogic/Foundation | Upstream license, Apache-2.0 | Attribute FormalizedFormalLogic/Foundation contributors and retain the license and adaptation notes in the source record. |
Binary-code reference with 136 codewords: tasks/construction/binary-code-a24-10/solution/ | Laaksonen and Östergård; derived from parameters and orbit representatives in their paper | Attribute the authors and identify the source. The task payload consists of the converted codewords. See the reference record. |
| Extremal-graph reference: 124 vertices, 629 edges, and Lean encoding | Jan Goedgebeur, Jorik Jooken, Gwenaël Joret, and Tibo Van den Eede; fixed upstream source, GPL-3.0 | GPL-3.0 applies to the upstream code and graph data. Retain the original graph, Lean source, attribution, GPL text, and conversion notes. A combined work containing GPL material must meet GPL terms. See the source record and component file list. |
| Locally generated examples, including the Petersen graph, cross polytopes, and root systems | Task-specific generation code and descriptions | Keep mathematical-object data distinct from copied code and third-party programs; apply each source's terms to the actual material. |
Container images include Debian, Ubuntu, GNU tools, Java, Python, and other system components. Each component retains its own license. Retain the component notices and provide corresponding source when required. Exact versions and source locations are in the system license materials.
Graphviz 15.0.0 embedded in ProofWidgets is EPL-2.0; the outer @hpcc-js/wasm package is Apache-2.0. Distribution must include the EPL text and a usable way to obtain Graphviz source and the modifications. Expat 2.8.1, Emscripten 6.0.0, and Penrose Rust components keep their original licenses; see the embedded component record.
Additional Full materials
These notices also apply to Full and same-source offline packages:
- JSPLIB data: ScheduleOpt/benchmarks and applicable adaptations are CC BY-SA 4.0. Attribute the original instance authors and ScheduleOpt contributors; see the source record.
- MCQD maximum-clique code:
mcqd_anytime.hcarries Janez Konc's GPL-3.0-or-later notice. Preserve its header and identify the node-limit, time-limit, output-removal, and optimality-query modifications. - Circuit definitions: Copyright 2026 Samuel Schlesinger, Apache-2.0; used in
np-vs-accandnexp-vs-tc0, with changes described in the source header. - Tensor-rank definition: Copyright 2026 Jeroen Zuiddam, Apache-2.0; the formalization source credits Christandl, Hoeberechts, Nieuwboer, Vrana, and Zuiddam. See the per-task source record.
- Sorting-network comparators: Green 1969; identical comparator data from fixed SorterHunter files, Copyright 2017 Bert Dobbelaere, MIT. Retain attribution and the license when distributing the converted Lean tuples.
- PACE 2019 instances: M. Ayaz Dzulfikar, Johannes K. Fichte, and Markus Hecher; official Zenodo record 3368306, CC BY 4.0. Retain other original sources and conversion notes.
- MaxSAT Evaluation 2026 supplement: Dieter Vandesande, Christoph Jabs, Jeremias Berg, Johannes Fichte, George Katsirelos, Ruben Martins, André Schidler, and Dominik Schreiber; Zenodo record 21358014, CC BY 4.0. Retain instance-family attribution; included solver software keeps its own license.
- PACE 2024 checker: Copyright 2023 Philipp Kindermann, Fabian Klute, and Soeren Nickel, MIT. Retain the notice from the included wheel.
The per-task license record identifies additional MIT, BSD-style, CC0, Apache and GPL components. Follow the distribution conditions for materials with unconfirmed terms.