Skip to content

Optimize ctree

Francois DELOBEL requested to merge optimize_ctree into master
  • Detect aliases variables (a = b)
  • Create class with union-find
  • Substitute variables in constraints
  • Delete the useless alias constraints (a = a)

Merge request reports