index
:
honours
master
My honours project from 2012.
Carlo
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
impl
/
systems
/
example.eqns
blob: dc59a01b0a773bce1a6a231df6f374daf7ec7d89 (
about
) (
plain
)
1
2
3
x1 = max(0, min(x1 - 1, x2)) x2 = max(0, 5+x1, x1) x3 = max(0, 1 + x3, 0 + x1)
