Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README | 1998-06-09 15:06 | 1.4K | ||
data.9.gz | 1998-06-09 14:21 | 75 | ||
data.15.gz | 1998-06-09 14:21 | 148 | ||
data.27.gz | 1998-06-09 14:21 | 380 | ||
data.45.gz | 1998-06-09 14:21 | 1.1K | ||
data.81.gz | 1998-06-09 14:21 | 3.9K | ||
data.135.gz | 1998-06-09 14:21 | 11K | ||
data.243.gz | 1998-06-09 14:21 | 37K | ||
data.405.gz | 2011-07-28 21:20 | 89K | ||
data.729.gz | 2011-07-28 21:21 | 290K | ||
data.1215.gz | 2011-07-28 21:21 | 788K | ||
data.2187.gz | 2011-07-28 21:22 | 2.5M | ||
mklarge.pl | 2011-07-28 21:31 | 869 | ||
msat2cnf.c.gz | 1998-06-09 14:59 | 1.6K | ||
scp2msat.c.gz | 1998-06-09 14:57 | 1.5K | ||
steiner2scp.pl | 2011-07-28 21:31 | 385 | ||