-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathNOTICE
More file actions
166 lines (133 loc) · 5.36 KB
/
Copy pathNOTICE
File metadata and controls
166 lines (133 loc) · 5.36 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
cp-deep-dive
Copyright 2026 Vanja Petreski
This product includes software developed as part of the cp-deep-dive learning
project, licensed under the Apache License, Version 2.0 (see LICENSE).
----------------------------------------------------------------------
Third-party code and content used or relied upon by this project
----------------------------------------------------------------------
This repository relies on, references, and/or embeds documentation about the
following third-party components. Each component remains under its own
upstream license; the notices below are provided for attribution and to help
downstream users comply with those licenses.
Google OR-Tools CP-SAT
Upstream: https://github.com/google/or-tools
License: Apache License 2.0
Used by: libs/cpsat-kt/ (Kotlin DSL wrapper), apps/py-cp-sat/ (Python
bindings via `ortools` on PyPI), apps/kt-cp-sat/ (Java bindings
via `com.google.ortools:ortools-java`).
MiniZinc
Upstream: https://github.com/MiniZinc/libminizinc
License: Mozilla Public License 2.0
Used by: apps/mzn/ (model files consumed by a MiniZinc toolchain
installed locally by the user).
Kotlin
Upstream: https://github.com/JetBrains/kotlin
License: Apache License 2.0
Used by: libs/cpsat-kt/, apps/kt-cp-sat/, apps/kt-api/.
kotlinx.coroutines
Upstream: https://github.com/Kotlin/kotlinx.coroutines
License: Apache License 2.0
Used by: libs/cpsat-kt/.
Kotest
Upstream: https://github.com/kotest/kotest
License: Apache License 2.0
Used by: libs/cpsat-kt/ (test-only).
Gradle
Upstream: https://github.com/gradle/gradle
License: Apache License 2.0
Used by: build systems in libs/cpsat-kt/, apps/kt-cp-sat/, apps/kt-api/.
Python
Upstream: https://github.com/python/cpython
License: Python Software Foundation License
Used by: apps/py-cp-sat/, apps/py-api/.
FastAPI
Upstream: https://github.com/fastapi/fastapi
License: MIT License
Used by: apps/py-api/.
Pydantic
Upstream: https://github.com/pydantic/pydantic
License: MIT License
Used by: apps/py-api/.
Uvicorn
Upstream: https://github.com/encode/uvicorn
License: BSD 3-Clause License
Used by: apps/py-api/.
Ktor
Upstream: https://github.com/ktorio/ktor
License: Apache License 2.0
Used by: apps/kt-api/.
pytest
Upstream: https://github.com/pytest-dev/pytest
License: MIT License
Used by: apps/py-cp-sat/, apps/py-api/ (test-only).
Hypothesis
Upstream: https://github.com/HypothesisWorks/hypothesis
License: Mozilla Public License 2.0
Used by: apps/py-cp-sat/ (test-only).
Ruff
Upstream: https://github.com/astral-sh/ruff
License: MIT License
Used by: apps/py-cp-sat/, apps/py-api/ (lint-only).
uv
Upstream: https://github.com/astral-sh/uv
License: Apache License 2.0 / MIT License (dual)
Used by: apps/py-cp-sat/, apps/py-api/ (package-management tool).
React
Upstream: https://github.com/facebook/react
License: MIT License
Used by: apps/web/.
React Router
Upstream: https://github.com/remix-run/react-router
License: MIT License
Used by: apps/web/.
Vite
Upstream: https://github.com/vitejs/vite
License: MIT License
Used by: apps/web/.
TypeScript
Upstream: https://github.com/microsoft/TypeScript
License: Apache License 2.0
Used by: apps/web/, apps/shared/.
Tailwind CSS
Upstream: https://github.com/tailwindlabs/tailwindcss
License: MIT License
Used by: apps/web/.
shadcn/ui
Upstream: https://github.com/shadcn-ui/ui
License: MIT License
Used by: apps/web/.
TanStack Query
Upstream: https://github.com/TanStack/query
License: MIT License
Used by: apps/web/.
Node.js
Upstream: https://github.com/nodejs/node
License: MIT License
Used by: apps/web/, apps/shared/ (build-only).
Timefold Solver
Upstream: https://github.com/TimefoldAI/timefold-solver
License: Apache License 2.0
Used by: apps/alt-solver/timefold/ (Chapter 18 ecosystem port).
Choco Solver
Upstream: https://github.com/chocoteam/choco-solver
License: BSD 4-Clause License
Used by: apps/alt-solver/choco/ (Chapter 18 ecosystem port).
NSPLib benchmark instances
Upstream: https://www.projectmanagement.ugent.be/research/personnel_scheduling/nsp
Note: Benchmark data used for evaluation in Chapter 13; not
redistributed in this repository.
INRC-I and INRC-II benchmark instances
Upstream: https://www.projectmanagement.ugent.be/research/personnel_scheduling/inrc
and https://mobiz.vives.be/inrc2/
Note: Benchmark data used for evaluation in Chapter 13; not
redistributed in this repository.
----------------------------------------------------------------------
Documentation paraphrased or summarised in `docs/knowledge/`
----------------------------------------------------------------------
The reference notes in `docs/knowledge/` summarise concepts, APIs, and
published research in the authors' own words. Direct quotations, code
snippets reproduced from third-party documentation, and bibliographic
references are attributed inline in those files.
No part of this repository redistributes copyrighted text from upstream
documentation or papers verbatim beyond short illustrative snippets
permitted under fair use or the upstream licence.