PyPI recent updates for smtconfig https://pypi.org/project/smtconfig/ Recent updates to the Python Package Index for smtconfig en 1.0.2 https://pypi.org/project/smtconfig/1.0.2/ Declarative SMT-based configuration system built on top of Z3 Sat, 21 Feb 2026 22:09:15 GMT 1.0.1 https://pypi.org/project/smtconfig/1.0.1/ Declarative SMT-based configuration system built on top of Z3 Sat, 21 Feb 2026 22:05:53 GMT