search

flamapy / flamapy_fw

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

Fix error in AST to CNF conversion #56

Closed jmhorcas closed 2 years ago

jmhorcas commented 2 years ago

The error was that the elimination of complex constraints also eliminated NOT nodes