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: 71ee74ac6e020b78c5e4a8fb385c9b6c8bca957a (
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)
