Alice/my_digital_garden
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

vault backup: 2023-10-25 10:51:33

Browse source
This commit is contained in:
Alice 2023-10-25 10:51:33 +01:00
parent 341d411882
commit df83dd257d
2 changed files with 9 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
.obsidian/workspace.json vendored
View file

@ -25,7 +25,7 @@
"state": {
"type": "markdown",
"state": {
"file": "4a1s/MFES/PL - Aula 5.md",
"file": "4a1s/MFES/T - Aula 2.md",
"mode": "source",
"source": false
}
@ -98,7 +98,7 @@
"state": {
"type": "backlink",
"state": {
"file": "4a1s/MFES/PL - Aula 5.md",
"file": "4a1s/MFES/T - Aula 2.md",
"collapseAll": false,
"extraContext": false,
"sortOrder": "alphabetical",
@ -115,7 +115,7 @@
"state": {
"type": "outgoing-link",
"state": {
"file": "4a1s/MFES/PL - Aula 5.md",
"file": "4a1s/MFES/T - Aula 2.md",
"linksCollapsed": false,
"unlinkedCollapsed": true
}
@ -138,7 +138,7 @@
"state": {
"type": "outline",
"state": {
"file": "4a1s/MFES/PL - Aula 5.md"
"file": "4a1s/MFES/T - Aula 2.md"
}
}
},
@ -173,11 +173,14 @@
},
"active": "6a363953132aebe7",
"lastOpenFiles": [
"4a1s/MFES/PL - Aula 4.md",
"4a1s/MFES/PL - Aula 5.md",
"4a1s/MFES/PL - Aula 3.md",
"4a1s/MFES/PL - Aula 2.md",
"4a1s/MFES/PL - Aula 4.md",
"4a1s/MFES/PL - Aula 1.md",
"4a1s/MFES/T - Aula 2.md",
"4a1s/RAS/Notas Projeto RAS.md",
"4a1s/CP/PL - Aula 4.md",
"4a1s/MFES/T - Aula 2.md",
"4a1s/CP/Projeto Fase 1.md",
"4a1s/CP/PL - Aula 6.md",
"My Digital Garden.md",
@ -207,9 +210,6 @@
"4a1s/RAS/Projeto.md",
"4a1s/index.md",
"4a1s/RAS/PL - Aula 1.md",
"4a1s/MFES/PL - Aula 3.md",
"Excalidraw/Drawing 2023-10-04 09.18.24.excalidraw.md",
"Excalidraw/Drawing 2023-10-04 09.18.23.excalidraw.md",
"4a1s/ESR",
"Private-Project",
"4a1s/Excalidraw/RAS",

1
4a1s/MFES/PL - Aula 1.md
View file

@ -9,7 +9,6 @@ dg-publish: true
> As resoluções dos exercícios aqui contidos podem conter erros. Se detetares um problema (e se o souberes resolver) por favor contacta-nos.
> [!help]+ Ex 1 (Configuração de produtos)
> Certos produtos, como é o caso dos automóveis, são altamente personalizáveis, mas podem haver dependências entre as configurações. Os clientes podem não estar cientes de todas essas dependências, e poderão escolher opções de configuração inconsistentes.
> Como são muitas configurações e muitas dependências, podemos usar um SAT solver para verificar se o cliente escolhe opções de configuração consistentes. Para isso, podemos seguir os seguintes passos: