-
Mirco Dotta authored
- Commented properties that use implication and which are not handled correctly in the current implementation - Removed And node from PropositionalLogic example which make the automatic generator injection get nuts
Mirco Dotta authored- Commented properties that use implication and which are not handled correctly in the current implementation - Removed And node from PropositionalLogic example which make the automatic generator injection get nuts