diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-10-15 17:11:14 +1100 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-10-15 17:11:14 +1100 |
| commit | 697c1c0cd3815eee72b3eedb874fe0e044a69432 (patch) | |
| tree | 060ce9577a9651cbcb2f11c6444bc649efc4a468 /impl/systems/1 | |
| parent | be1de4be954c80875ad4108e0a33e8e131b2f2c0 (diff) | |
Some bug fixes for the solver.
Still doesn't work in clang, though.
Diffstat (limited to 'impl/systems/1')
| -rw-r--r-- | impl/systems/1 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/impl/systems/1 b/impl/systems/1 index e69de29..5ec1559 100644 --- a/impl/systems/1 +++ b/impl/systems/1 @@ -0,0 +1,2 @@ +x = max(-inf, (max(0, min(-inf, y)))) +y = x - 1 |