Amr-logic-converter

Latest version: v0.11.3

Safety actively analyzes 687918 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

Page 2 of 4

0.10.1

Fix

* fix: fixing negation with annotations ([`61282ee`](https://github.com/chanind/amr-logic-converter/commit/61282ee2444bc345110613a8ac0fb9aded12cb57))

0.10.0

Feature

* feat: removing unnecessary param from override_conjunction ([`155452a`](https://github.com/chanind/amr-logic-converter/commit/155452a0c1df1bd4f461a3c0e1d49fd1d1e6aacd))

0.9.0

Feature

* feat: adding an option to turn :condition into implies (7) ([`1b2f042`](https://github.com/chanind/amr-logic-converter/commit/1b2f0425a34a26828e7adf2f48df8c33eb42180e))

0.8.0

Feature

* feat: simplify logic types and callbacks (6)

* refactoring logic types and callbacks ([`d9b9f82`](https://github.com/chanind/amr-logic-converter/commit/d9b9f822da5fe681ac50ae0ca9f8fbcc942a81ae))

0.7.0

Feature

* feat: allow overriding conjunction (5) ([`582ffda`](https://github.com/chanind/amr-logic-converter/commit/582ffdadabb3774ac41d9e1234e26fb9f8f3dab1))

Unknown

* allow customizing quantification via passing a closure (4) ([`2393f7a`](https://github.com/chanind/amr-logic-converter/commit/2393f7a606c74b42e06943b6997f5eeeb47f40d4))

0.6.0

Feature

* feat: adding options for capitalizing variables and overriding variable scope (3) ([`b490948`](https://github.com/chanind/amr-logic-converter/commit/b49094878df6f696de9a7e4c5ffff30164435e1c))

Page 2 of 4

© 2024 Safety CLI Cybersecurity Inc. All Rights Reserved.