Open benavidescuevas opened 1 year ago
In order to follow other knowledge consolidation initiatives, change the name of the valid(FM) analysis operation to satisfiable(FM).
Change to be made here: core/operations/valid.py
In order to follow other knowledge consolidation initiatives, change the name of the valid(FM) analysis operation to satisfiable(FM).
Change to be made here: core/operations/valid.py