Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README | 2003-09-30 14:30 | 3.6K | ||
TimeTable2w-1.sat.gz | 2003-09-30 11:02 | 595K | ||
data.gz | 2003-09-30 11:03 | 654 | ||
evalsol.c.gz | 2003-09-30 15:02 | 2.9K | ||
gendata.c.gz | 2003-09-30 11:02 | 2.3K | ||
sample_sol.gz | 2003-09-30 11:03 | 103 | ||