diff options
Diffstat (limited to 'impl/test/1.eqns')
-rw-r--r-- | impl/test/1.eqns | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/impl/test/1.eqns b/impl/test/1.eqns new file mode 100644 index 0000000..0cdfd24 --- /dev/null +++ b/impl/test/1.eqns @@ -0,0 +1,3 @@ +x = max(0, min(-1 + x, y)) +y = max(0, 5 + x, x) +z = max(0, 1 + z, 0 + x) |