-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathmkdocs.yml
170 lines (163 loc) · 6.29 KB
/
mkdocs.yml
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
167
168
169
170
# the site
site_name: The Next Generation Logic Framework
site_url: https://www.logicng.org
site_description: LogicNG
site_author: BooleWorks GmbH
# the repository
repo_name: logic-ng/LogicNG
repo_url: https://github.com/logic-ng/LogicNG
edit_uri: ""
# Copyright
copyright: Copyright © BooleWorks GmbH
theme:
name: material
custom_dir: overrides
logo: assets/logo.png
favicon: assets/favicon.ico
icon:
repo: fontawesome/brands/github
features:
- content.code.annotate
- navigation.tabs
- navigation.indexes
- search.highlight
- search.share
- search.suggest
- announce.dismiss
palette:
- media: "(prefers-color-scheme)"
primary: teal
accent: teal
toggle:
icon: material/brightness-auto
name: Switch to light mode
- media: "(prefers-color-scheme: light)"
scheme: default
primary: teal
accent: teal
toggle:
icon: material/brightness-7
name: Switch to dark mode
- media: "(prefers-color-scheme: dark)"
scheme: slate
primary: teal
accent: teal
toggle:
icon: material/brightness-4
name: Switch to system preference
primary: teal
accent: teal
plugins:
- search
- social
- blog
extra:
social:
- icon: fontawesome/brands/github
link: https://github.com/booleworks/
name: BooleWorks on GitHub
- icon: fontawesome/brands/linkedin
link: https://www.linkedin.com/company/booleworks
name: BooleWorks on LinkedIn
markdown_extensions:
- pymdownx.highlight:
anchor_linenums: true
- pymdownx.inlinehilite
- pymdownx.superfences:
custom_fences:
- name: mermaid
class: mermaid
format: !!python/name:pymdownx.superfences.fence_code_format
- attr_list
- pymdownx.emoji:
emoji_index: !!python/name:material.extensions.emoji.twemoji
emoji_generator: !!python/name:material.extensions.emoji.to_svg
- pymdownx.magiclink:
repo_url_shorthand: true
user: logic-ng
repo: LogicNG
- admonition
- pymdownx.details
- pymdownx.arithmatex:
generic: true
- pymdownx.caret
- pymdownx.tilde
- tables
- footnotes
- pymdownx.tabbed:
alternate_style: true
extra_javascript:
- javascripts/mathjax.js
- https://polyfill.io/v3/polyfill.min.js?features=es6
- https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js
nav:
- Home: index.md
- Tutorial:
- tutorial/index.md
- Chapter 1 Problem Modelling: tutorial/chapter1.md
- Chapter 2 Formulas: tutorial/chapter2.md
- Chapter 3 Formula Functions: tutorial/chapter3.md
- Chapter 4 Propositions: tutorial/chapter4.md
- Chapter 5 SAT Solving: tutorial/chapter5.md
- Chapter 6 MaxSAT Solving: tutorial/chapter6.md
- Documentation:
- documentation/index.md
- The Formula Factory: documentation/formula-factory.md
- Formulas:
- documentation/formulas/index.md
- Cardinality Constraints: documentation/formulas/cardinality-constraints.md
- Pseudo-Boolean Constraints: documentation/formulas/pb-constraints.md
- Formula Operations:
- documentation/formulas/operations/index.md
- Formula Functions: documentation/formulas/operations/formula-functions.md
- Formula Predicates: documentation/formulas/operations/formula-predicates.md
- Formula Transformations:
- documentation/formulas/operations/transformations/index.md
- Normal Form Transformations: documentation/formulas/operations/transformations/normal-form-transformations.md
- Simplifier Transformations: documentation/formulas/operations/transformations/simplifier-transformations.md
- Other Transformations: documentation/formulas/operations/transformations/other-transformations.md
- Propositions: documentation/propositions.md
- Solvers:
- documentation/solvers/index.md
- SAT Solving: documentation/solvers/sat-solving.md
- MaxSAT Solving: documentation/solvers/maxsat-solving.md
- Knowledge Compilation:
- documentation/knowledge-compilation/index.md
- BDD: documentation/knowledge-compilation/bdd.md
- DNNF: documentation/knowledge-compilation/dnnf.md
- Backbones: documentation/backbones.md
- Model Counting and Enumeration: documentation/model-counting-enumeration.md
- Explanations:
- documentation/explanations/index.md
- Unsat Cores: documentation/explanations/unsat-cores.md
- MUS: documentation/explanations/mus.md
- Smallest MUS: documentation/explanations/smus.md
- Handlers: documentation/handlers.md
- Graphs: documentation/graphs.md
- I/O: documentation/io.md
- White Paper:
- Solving Configuration Problems with LogicNG: whitepaper/abstract.md
- The Problem:
- Mass Customization: whitepaper/problem/mass-customization.md
- Common Configuration Problems: whitepaper/problem/common-configuration-problems.md
- The Solutions:
- The General Approach: whitepaper/solution/general-approach.md
- Manual Testing vs. Automated Reasoning: whitepaper/solution/testing-vs-reasoning.md
- On-the-fly Computation vs. Compilation: whitepaper/solution/computation-vs-compilation.md
- Decision Problems vs. Optimization Problems: whitepaper/solution/decision-vs-optimization.md
- Real Solutions for Real Problems:
- Today's Use Cases:
- whitepaper/real-solutions/use-cases/index.md
- High-Level Configuration: whitepaper/real-solutions/use-cases/high-level-configuration.md
- Ordering Process: whitepaper/real-solutions/use-cases/ordering-process.md
- Bill of Materials: whitepaper/real-solutions/use-cases/bill-of-materials.md
- Homologation Requirements: whitepaper/real-solutions/use-cases/homologation.md
- ECU Configuration: whitepaper/real-solutions/use-cases/ecu-configuration.md
- Towards a Software-Definied World: whitepaper/real-solutions/software-world.md
- References: whitepaper/references.md
- Contact: whitepaper/contact.md
- Blog:
- blog/index.md
- Legal:
- Privacy Policy: legal/privacy.md
- Corporate Information: legal/corporate.md