repo.or.cz
/
barvinok.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
history
|
HEAD
|
snapshot (
tar.gz
zip
)
keep track of number of Bernoulli sums
[barvinok.git]
/
tests
/
lexmin
/
tree
854b232cfd8ef4df9694b7c4e45ca02a2dd65472
drwxr-xr-x
..
-rw-r--r--
110
boulet.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
1025
brisebarre.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
215
cg1.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
109
dirk.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
408
discr.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
105
equality.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
32
equus.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
1193
esced-nn.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
173
ex-nn.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
110
fimmel.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
127
invert-nn.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
74
linear.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
70
lineri-nn.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
56
lineri.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
103
max-nn.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
89
negative.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
146
rairoi-nn.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
57
small.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
104
snowbird.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
398
sor1d.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
69
square.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
29
sven.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
31
test2i.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
46
test3i.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
66
test4i.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
91
test5i.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
120
test6i.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
154
test7i.pip
blob
|
blame
|
history
|
raw
-rw-r--r--
194
test8i.pip
blob
|
blame
|
history
|
raw