PyPI recent updates for erdl-formal https://pypi.org/project/erdl-formal/ Recent updates to the Python Package Index for erdl-formal en 0.1.20 https://pypi.org/project/erdl-formal/0.1.20/ SMT-based (Z3) formal verification for the ERDL expression kernel — proving rules safe over all inputs. support@openoba.com Mon, 07 Sep 2026 08:04:15 GMT 0.1.19 https://pypi.org/project/erdl-formal/0.1.19/ SMT-based (Z3) formal verification for the ERDL expression kernel — proving rules safe over all inputs. support@openoba.com Sun, 06 Sep 2026 16:31:08 GMT 0.1.18 https://pypi.org/project/erdl-formal/0.1.18/ SMT-based (Z3) formal verification for the ERDL expression kernel — proving rules safe over all inputs. support@openoba.com Sat, 05 Sep 2026 12:46:59 GMT 0.1.17 https://pypi.org/project/erdl-formal/0.1.17/ SMT-based (Z3) formal verification for the ERDL expression kernel — proving rules safe over all inputs. support@openoba.com Sat, 05 Sep 2026 06:34:25 GMT 0.1.2 https://pypi.org/project/erdl-formal/0.1.2/ SMT-based (Z3) formal verification for the ERDL expression kernel — proving rules safe over all inputs. support@openoba.com Thu, 03 Sep 2026 14:47:05 GMT 0.1.1 https://pypi.org/project/erdl-formal/0.1.1/ Determinism isn't tested — it's proven. SMT-based formal verification for ERDL, the rule language of enterprise AI agents. support@openoba.com Tue, 01 Sep 2026 04:54:37 GMT 0.1.0 https://pypi.org/project/erdl-formal/0.1.0/ Determinism isn't tested — it's proven. SMT-based formal verification for ERDL, the rule language of enterprise AI agents. support@openoba.com Tue, 01 Sep 2026 04:45:02 GMT