index
:
honours
master
My honours project from 2012.
Carlo
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
impl
/
systems
/
example2.eqns
blob: 70a83449bb3704de09573f25a5a9357c646504e7 (
about
) (
plain
)
1
2
x = max(0, x + y - 4) y = max(0-10, min(max(x + 1, 2 * y), 5))
