repo.or.cz
/
barvinok.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
barvinok_e.cc: enumerate_sum: use barvinok_summate instad of evalue_sum
[barvinok.git]
/
tests
/
evalue
/
devos
blob
ef8e52ab62af91ab329cda8b1da2c75890362e55
1
#variables V
2
U + 2V + 3 >= 0
3
- U -2V >= 0
4
- U 10 >= 0
5
U >= 0
6
7
( {( 1/3 * U + ( 2/3 * V + 0 )
8
)
9
}
10
)