🧾 Changelog — Auto‑Z3 [0.9.0] — 2025‑10‑28 🇬🇧 Highlights (English)
Bilingual Interface (EN/IT) — full internationalization (i18n) via i18n.py with safe fallbacks.
Map Module with Folium Visualization — interactive geographic SAT‑based map coloring (South & Central America datasets).
FOL Module (Beta) — introduction of quantifiers (∀, ∃), predicates, and first‑order logic validation.
Complete Test Suite + Model Validator — independent Z3 model re‑check for SAT cases; benchmark and regression tests added.
🇮🇹 Novità principali (Italiano)
Interfaccia bilingue (IT/EN) — traduzione completa e gestione automatica delle lingue tramite i18n.py.
Modulo Mappe con Folium — colorazione geografica interattiva basata su SAT (dataset Sud e Centro America).
Modulo FOL (beta) — supporto ai quantificatori (∀, ∃), predicati e verifica di formule di logica del primo ordine.
Suite completa di test + validatore di modelli — controllo indipendente dei modelli Z3 per i casi SAT, con benchmark e test di regressione.
🧠 Notes
This marks the first stable beta (v0.9.0) reviewed under the “Alan Turing Simulation Review Protocol”.
Focus: correctness, didactic usability, modular design.
Next release (v1.0.0) planned to include CI pipeline, MUS/MCS explorer, and academic release documentation.
Repository: Auto‑Z3 on GitHub