User Tools

Site Tools


deltacheckissues

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
deltacheckissues [2014/12/11 11:15]
schram
deltacheckissues [2014/12/11 11:16] (current)
schram
Line 13: Line 13:
 | HIGH   | custom templates |     | Peter | Peter | WORK | | HIGH   | custom templates |     | Peter | Peter | WORK |
 | HIGH   | next_var in custom templates |     | Peter | Peter | WORK | | HIGH   | next_var in custom templates |     | Peter | Peter | WORK |
-| HIGH   ​| ​finitely ​disjoint disjunctive domains | domains | Peter | Peter | WORK |+| HIGH   | disjoint ​finitely ​disjunctive domains | domains | Peter | Peter | WORK |
 | HIGH   | refinement for non-monotonic conditions | domains | Peter |     | OPEN | | HIGH   | refinement for non-monotonic conditions | domains | Peter |     | OPEN |
 | HIGH   | general template solver | domains | Peter |     | OPEN | | HIGH   | general template solver | domains | Peter |     | OPEN |
deltacheckissues.txt ยท Last modified: 2014/12/11 11:16 by schram