mirror of
https://github.com/UpsilonNumworks/Upsilon.git
synced 2026-01-18 16:27:34 +01:00
Do not take strong variations into account if they would erase more interesting variations. Change-Id: I6299a64bed449a611f90eda4234af10a183958d1