Amr-logic-converter

Latest version: v0.11.3

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

Scan your dependencies

Page 3 of 4

0.5.0

Feature

* feat: Hoist coreferenced instances to their lowest common ancestor in the tree (2)

* project coreferences to their lowest common ancestor node level

* adding an option to maximally hoist coreferences, to match behavior of paper

* improving scope handling during hoisting

* updating README ([`6476525`](https://github.com/chanind/amr-logic-converter/commit/64765255b042e27ad9d89c9aaea046e502e58fbf))

0.4.1

Fix

* fix: fix bug where instances without children are not properly handled ([`8c9156d`](https://github.com/chanind/amr-logic-converter/commit/8c9156d80d49742c6d851b3e3885735c5b69e7e6))

0.4.0

Feature

* feat: adding option to use Var instead of Const for instances ([`028cff3`](https://github.com/chanind/amr-logic-converter/commit/028cff33284e233126be0c372c24d04a335f42eb))

0.3.1

Fix

* fix: adding README and keywords into project toml ([`1e909ac`](https://github.com/chanind/amr-logic-converter/commit/1e909ac155ba89b14566eee6fe8ce040e7c64366))

0.3.0

Feature

* feat: removing Const and Param types from Formula ([`94b733f`](https://github.com/chanind/amr-logic-converter/commit/94b733f5b8dfa9e5098049cdfe08461bed697421))

0.2.2

Fix

* fix: adding py.typed file ([`3ae0201`](https://github.com/chanind/amr-logic-converter/commit/3ae0201bbf67e5db0692b9101bc7aa9e74525d07))

Page 3 of 4

© 2024 Safety CLI Cybersecurity Inc. All Rights Reserved.