From 5f53659601a9c061b4a41ec8ca4c44d4be7db471 Mon Sep 17 00:00:00 2001 From: Manuel Magnabosco Date: Mon, 14 Sep 2026 18:06:34 +0200 Subject: [PATCH] Add a compact Presentazione tour of verified algorithms --- docs/_includes/header.html | 1 + docs/_includes/narrative-static.html | 13 + docs/assets/css/site.css | 34 + ...93454e96b86050d69d1bc8b1f63b61ae9ead2.json | 42 + .../search-unsat/frame-003995.png | Bin 0 -> 59908 bytes .../search-unsat/frame-004118.png | Bin 0 -> 99589 bytes .../search-unsat/frame-004120.png | Bin 0 -> 87734 bytes .../search-unsat/frame-004121.png | Bin 0 -> 105220 bytes .../search-unsat/frame-004122.png | Bin 0 -> 98419 bytes ...3356b8d9ad583accfebc3b2564b8abc43c33e.json | 407 + .../search-unsat/reference-manifest.json | 33 + ...d06e2169269db178ffcd562ffc3b4f35715cd.json | 4270 + ...65a6be3bfcf59169f0acd96264831196723fa.json | 237 + ...3bae98f2dfb4f2be4d767cbc5ecc5464e41b1.json | 74199 ++++++++++++++++ .../verification-dependencies.svg | 44 + docs/components/optimized-solver.md | 4 + docs/components/reference-solver.md | 2 + docs/plans/presentazione-solver-excerpt.md | 42 + docs/presentazione.md | 192 + docs/serial_solver_implementation_guide.md | 16 + docs/worked-example.md | 12 +- renderer/test_wang_trace.py | 38 + tests/python/test_generated_pages.py | 12 +- tests/python/test_pages_checker.py | 95 + tools/check_generated_pages.py | 7 +- tools/check_pages.py | 97 + 26 files changed, 79792 insertions(+), 5 deletions(-) create mode 100644 docs/assets/presentazione/search-unsat/formula-7c2cbd3397a3743be504c419ab793454e96b86050d69d1bc8b1f63b61ae9ead2.json create mode 100644 docs/assets/presentazione/search-unsat/frame-003995.png create mode 100644 docs/assets/presentazione/search-unsat/frame-004118.png create mode 100644 docs/assets/presentazione/search-unsat/frame-004120.png create mode 100644 docs/assets/presentazione/search-unsat/frame-004121.png create mode 100644 docs/assets/presentazione/search-unsat/frame-004122.png create mode 100644 docs/assets/presentazione/search-unsat/reduction-2b16e0f6f9eeef44fa519cd2fe43356b8d9ad583accfebc3b2564b8abc43c33e.json create mode 100644 docs/assets/presentazione/search-unsat/reference-manifest.json create mode 100644 docs/assets/presentazione/search-unsat/region-316399c1144915624eacd958d0dd06e2169269db178ffcd562ffc3b4f35715cd.json create mode 100644 docs/assets/presentazione/search-unsat/tileset-462a102690c420bfe52a634e7b365a6be3bfcf59169f0acd96264831196723fa.json create mode 100644 docs/assets/presentazione/search-unsat/trace-87d9838b3112be211e5576fd0ee3bae98f2dfb4f2be4d767cbc5ecc5464e41b1.json create mode 100644 docs/assets/presentazione/verification-dependencies.svg create mode 100644 docs/plans/presentazione-solver-excerpt.md create mode 100644 docs/presentazione.md diff --git a/docs/_includes/header.html b/docs/_includes/header.html index a8cb3e2..8f738fc 100644 --- a/docs/_includes/header.html +++ b/docs/_includes/header.html @@ -6,6 +6,7 @@