]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
New solver for SCL effects inequalities 34/1734/3
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 25 Apr 2018 13:57:31 +0000 (16:57 +0300)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Fri, 27 Apr 2018 13:08:04 +0000 (16:08 +0300)
In particularly, solving of cyclic inequalities.

Change-Id: I5d5734e9f029bf694221db2d7fc994d16d8d607a


No differences found