https://pypi.org/project/flamapy-z3/ Recent updates to the Python Package Index for flamapy-z3 en https://pypi.org/project/flamapy-z3/2.5.0/ z3-plugin for the automated analysis of feature models flamapy@us.es Fri, 27 Feb 2026 23:14:23 GMT https://pypi.org/project/flamapy-z3/2.5.0.dev0/ z3-plugin for the automated analysis of feature models flamapy@us.es Wed, 18 Feb 2026 22:45:48 GMT https://pypi.org/project/flamapy-z3/2.1.0.dev2/ z3-plugin for the automated analysis of feature models flamapy@us.es Wed, 18 Feb 2026 13:26:07 GMT https://pypi.org/project/flamapy-z3/2.1.0.dev1/ z3-plugin for the automated analysis of feature models flamapy@us.es Thu, 13 Nov 2025 09:36:52 GMT