deploy: 6df9397

microsoft · Jan 12, 2024 · 24307a4 · 24307a4
1 parent c04f394
commit 24307a4
Show file tree

Hide file tree

Showing 58 changed files with 170 additions and 170 deletions.
diff --git a/404.html b/404.html
diff --git a/Acknowledgments/index.html b/Acknowledgments/index.html
diff --git a/assets/js/main.f5501688.js → assets/js/main.12474421.js b/assets/js/main.f5501688.js → assets/js/main.12474421.js
diff --git a/assets/js/main.f5501688.js.LICENSE.txt → assets/js/main.12474421.js.LICENSE.txt b/assets/js/main.f5501688.js.LICENSE.txt → assets/js/main.12474421.js.LICENSE.txt
diff --git a/docs/fixedpoints/basicdatalog/index.html b/docs/fixedpoints/basicdatalog/index.html
diff --git a/docs/fixedpoints/engineforpdr/index.html b/docs/fixedpoints/engineforpdr/index.html
diff --git a/docs/fixedpoints/intro/index.html b/docs/fixedpoints/intro/index.html
diff --git a/docs/fixedpoints/syntax/index.html b/docs/fixedpoints/syntax/index.html
diff --git a/docs/logic/Conclusion/index.html b/docs/logic/Conclusion/index.html
diff --git a/docs/logic/Lambdas/index.html b/docs/logic/Lambdas/index.html
diff --git a/docs/logic/Quantifiers/index.html b/docs/logic/Quantifiers/index.html
diff --git a/docs/logic/Recursive Functions/index.html b/docs/logic/Recursive Functions/index.html
diff --git a/docs/logic/Uninterpreted-functions-and-constants/index.html b/docs/logic/Uninterpreted-functions-and-constants/index.html
diff --git a/docs/logic/basiccommands/index.html b/docs/logic/basiccommands/index.html
diff --git a/docs/logic/intro/index.html b/docs/logic/intro/index.html
diff --git a/docs/logic/propositional-logic/index.html b/docs/logic/propositional-logic/index.html
diff --git a/docs/optimization/advancedtopics/index.html b/docs/optimization/advancedtopics/index.html
diff --git a/docs/optimization/apioptimization/index.html b/docs/optimization/apioptimization/index.html
diff --git a/docs/optimization/arithmeticaloptimization/index.html b/docs/optimization/arithmeticaloptimization/index.html
diff --git a/docs/optimization/asmallcasestudy/index.html b/docs/optimization/asmallcasestudy/index.html
diff --git a/docs/optimization/combiningobjectives/index.html b/docs/optimization/combiningobjectives/index.html
diff --git a/docs/optimization/intro/index.html b/docs/optimization/intro/index.html
diff --git a/docs/optimization/softconstraints/index.html b/docs/optimization/softconstraints/index.html
diff --git a/docs/strategies/goals/index.html b/docs/strategies/goals/index.html
diff --git a/docs/strategies/intro/index.html b/docs/strategies/intro/index.html
diff --git a/docs/strategies/probes/index.html b/docs/strategies/probes/index.html
diff --git a/docs/strategies/simplifiers-summary/index.html b/docs/strategies/simplifiers-summary/index.html
diff --git a/docs/strategies/simplifiers/index.html b/docs/strategies/simplifiers/index.html
diff --git a/docs/strategies/summary/index.html b/docs/strategies/summary/index.html
diff --git a/docs/strategies/tactics/index.html b/docs/strategies/tactics/index.html
diff --git a/docs/theories/Arithmetic/index.html b/docs/theories/Arithmetic/index.html
diff --git a/docs/theories/Arrays/index.html b/docs/theories/Arrays/index.html
diff --git a/docs/theories/Bitvectors/index.html b/docs/theories/Bitvectors/index.html
diff --git a/docs/theories/Characters/index.html b/docs/theories/Characters/index.html
diff --git a/docs/theories/Datatypes/index.html b/docs/theories/Datatypes/index.html
diff --git a/docs/theories/IEEE Floats/index.html b/docs/theories/IEEE Floats/index.html
diff --git a/docs/theories/Regular Expressions/index.html b/docs/theories/Regular Expressions/index.html
diff --git a/docs/theories/Sequences/index.html b/docs/theories/Sequences/index.html
diff --git a/docs/theories/Special Relations/index.html b/docs/theories/Special Relations/index.html
diff --git a/docs/theories/Strings/index.html b/docs/theories/Strings/index.html
diff --git a/index.html b/index.html
diff --git a/playground/Freeform Editing/index.html b/playground/Freeform Editing/index.html
diff --git a/playground/Guess the Secret Formula/index.html b/playground/Guess the Secret Formula/index.html
diff --git a/playground/test/index.html b/playground/test/index.html
diff --git a/programming/API Reference/index.html b/programming/API Reference/index.html
diff --git a/programming/Example Programs/Cores and Satisfying Subsets/index.html b/programming/Example Programs/Cores and Satisfying Subsets/index.html
diff --git a/programming/Example Programs/Formula Simplification/index.html b/programming/Example Programs/Formula Simplification/index.html
diff --git a/programming/Example Programs/MBQI/index.html b/programming/Example Programs/MBQI/index.html
diff --git a/programming/Example Programs/SPACER/index.html b/programming/Example Programs/SPACER/index.html
diff --git a/programming/Example Programs/User Propagator/index.html b/programming/Example Programs/User Propagator/index.html
diff --git a/programming/Parameters/index.html b/programming/Parameters/index.html
diff --git a/programming/Proof Logs/index.html b/programming/Proof Logs/index.html
diff --git a/programming/Z3 JavaScript Examples/index.html b/programming/Z3 JavaScript Examples/index.html
diff --git a/programming/Z3 Python - Readonly/Fixedpoints/index.html b/programming/Z3 Python - Readonly/Fixedpoints/index.html
diff --git a/programming/Z3 Python - Readonly/Introduction/index.html b/programming/Z3 Python - Readonly/Introduction/index.html
diff --git a/programming/Z3 Python - Readonly/Strategies/index.html b/programming/Z3 Python - Readonly/Strategies/index.html
diff --git a/programming/Z3 Python - Readonly/advanced/index.html b/programming/Z3 Python - Readonly/advanced/index.html
diff --git a/search/index.html b/search/index.html