commit | 70f6bee4e335eb5168e0984d3428cf71a5919f64 | [log] [tgz] |
---|---|---|
author | Robert Hoettger <robert.hoettger@fh-dortmund.de> | Tue Jul 07 20:00:28 2020 +0200 |
committer | Robert Hoettger <robert.hoettger@fh-dortmund.de> | Tue Jul 07 20:00:28 2020 +0200 |
tree | 0890f31da2523f65902bf6056bf64bce0c0d771a | |
parent | 91c9a38e2f3b0def6309a4d266b2e11a8d4772f6 [diff] |
partitioning updates for correct precedence constraints, higher efficiency, and various fixes