qain1104/Agentic-Taxation-Optimization-via-LLM-SMT-Constraint-Reasoning: artifact-icse26-v1.0.7

This release addresses all blocking issues identified during the initial ICSE 2026 Artifact Evaluation review to support the Artifacts Evaluated – Functional badge. Key Updates: update the docker-compose.yml Documentation: Added a comprehensive README.md visible on Zenodo with clear entry points. Licensing: Explicitly stated software and dataset licenses. Installation: Detailed system requirements (OS, Python, SMT solvers) and step-by-step setup instructions. Reproducibility: Added a linear end-to-end walkthrough and a Minimal Functional Test (sanity check) with success criteria (est.