search

flamapy / flamapy_fw

This repository hosts the main components of flamapy
4 stars 5 forks source link

Conversion of the AST to CNF for complex constraints #48

Closed jmhorcas closed 2 years ago

jmhorcas commented 2 years ago

Description: This is a conversion of any "complex" expression in propositional logic represented in the AST to the equivalent in conjuntive normal form represented as well as in the AST. This allows using any combination of operators in cross-tree constraints (e.g., like those using in the jHipster feature model).

Note: (for @jagalindo): This PR affects other plugins, so it shouldn't be merged yet: M2M transformations need to be adapted and parser need to be refactor. @jmhorcas is in charge of those adaptations and he will notify when the other changes are ready to be integrated.

jmhorcas commented 2 years ago

@jagalindo this is now ready to be integrated together with the other related PRs in FM and Pysat projects.