Skip to content
Commit 79b000c3 authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Ewff representation is closer to unique. 

The equality constraints on variables are ordered now.
parent 0ef9f02c
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment