Skip to content

Fixed simplification of negated logic expressions.

Andrei Gheata requested to merge logic_helper_fix into surface_model

Added unit test testLogic for expression simplification. Usage: testLogic -logic 'expression'

Merge request reports