Feature/string solver performance#1465

Merged

mgudemann merged 2 commits intodiffblue:developfrom

mgudemann:feature/string-solver-performance

Oct 12, 2017

Commits on Oct 12, 2017

Avoid generating redundant constraints by iterating over n^2/2 rather than n^2 pairs.

martin
authored and
Matthias Güdemann
committed
Switch (!a | b) for (a => b) to clarrify the intent of the code.

martin
authored and
Matthias Güdemann
committed