9

dir
32
https://ellipse.math.ucdavis.edu/usvn/svn/polysys/trunk/src
https://ellipse.math.ucdavis.edu/usvn/svn/polysys



2009-11-29T04:42:18.859243Z
32
bedutra


svn:special svn:externals svn:needs-lock











6368b0d9-103f-44e1-ab64-fb26b4a3e984

convert
dir

testSGE2
dir

zchaff
dir

Makefile.in
file




2011-03-02T19:34:20.000000Z
0cc23613d146aaf2107473e4f587c1e1
2009-07-13T22:25:48.011907Z
3
malkin





















13761

shared
dir

sat
dir

isomorphism
dir

Makefile.am
file




2011-03-02T19:34:20.000000Z
d3bc5c895cd96385f1056d6ff5c1d18e
2009-07-13T22:25:48.011907Z
3
malkin





















121

flows
dir

nulla
dir

zchaff64
dir

coloring
dir

border
dir

testSGE
dir

