| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| espresso | 2000-07-25 19:15 | 280K | ||
| main.o | 2000-05-12 10:17 | 30K | ||
| espresso.h | 1997-05-03 00:00 | 29K | ||
| cvrin.o | 2000-05-12 10:17 | 29K | ||
| cvrout.o | 2000-05-12 10:17 | 23K | ||
| hack.o | 2000-05-12 10:17 | 22K | ||
| cvrin.c | 1999-09-17 21:03 | 21K | ||
| pair.o | 2000-05-12 10:17 | 21K | ||
| cvrin.c.orig | 1993-06-05 15:54 | 21K | ||
| expand.c | 1999-09-17 21:03 | 20K | ||
| compl.o | 2000-05-12 10:17 | 19K | ||
| main.c | 1999-09-17 21:03 | 19K | ||
| opo.o | 2000-05-12 10:17 | 18K | ||
| hack.c | 1999-09-17 21:03 | 17K | ||
| pair.c | 1999-09-17 21:03 | 17K | ||
| set.c | 1999-09-17 21:03 | 17K | ||
| expand.o | 2000-05-12 10:17 | 17K | ||
| compl.c | 1999-09-17 21:03 | 17K | ||
| espresso.5 | 1992-05-14 08:41 | 17K | ||
| opo.c | 1999-09-17 21:03 | 16K | ||
| opo.c.orig | 1992-05-14 08:41 | 16K | ||
| set.o | 2000-05-12 10:17 | 16K | ||
| cvrm.o | 2000-05-12 10:17 | 14K | ||
| cvrout.c | 1999-09-17 21:03 | 14K | ||
| irred.o | 2000-05-12 10:17 | 13K | ||
| setc.c | 1999-09-17 21:03 | 12K | ||
| cvrm.c | 1999-09-17 21:03 | 12K | ||
| contain.c | 1999-09-17 21:03 | 12K | ||
| cubestr.o | 2000-05-12 10:17 | 12K | ||
| matrix.c | 1999-09-17 21:03 | 12K | ||
| cofactor.c | 1999-09-17 21:03 | 10K | ||
| irred.c | 1999-09-17 21:03 | 10K | ||
| setc.o | 2000-05-12 10:17 | 10K | ||
| cofactor.o | 2000-05-12 10:17 | 10K | ||
| matrix.o | 2000-05-12 10:17 | 9.9K | ||
| unate.c | 1999-09-17 21:03 | 9.9K | ||
| espresso.1 | 1992-05-14 08:41 | 9.8K | ||
| mincov.c.orig | 1992-05-14 08:41 | 9.7K | ||
| mincov.c | 1999-09-17 21:03 | 9.7K | ||
| unate.o | 2000-05-12 10:17 | 9.6K | ||
| reduce.o | 2000-05-12 10:17 | 8.6K | ||
| Makefile | 1999-09-27 11:57 | 7.8K | ||
| mincov.o | 2000-05-12 10:17 | 7.7K | ||
| util.h | 1997-05-04 00:00 | 7.5K | ||
| sharp.o | 2000-05-12 10:17 | 7.4K | ||
| reduce.c | 1999-09-17 21:03 | 7.0K | ||
| contain.o | 2000-05-12 10:17 | 6.9K | ||
| exact.o | 2000-05-12 10:17 | 6.8K | ||
| gasp.o | 2000-05-12 10:17 | 6.1K | ||
| gasp.c | 1999-09-17 21:03 | 6.0K | ||
| primes.o | 2000-05-12 10:17 | 5.7K | ||
| rows.c | 1999-09-17 21:03 | 5.7K | ||
| cols.c | 1999-09-17 21:03 | 5.7K | ||
| map.o | 2000-05-12 10:17 | 5.6K | ||
| verify.o | 2000-05-12 10:17 | 5.5K | ||
| sharp.c | 1999-09-17 21:03 | 4.9K | ||
| pla.5 | 1992-05-14 08:41 | 4.5K | ||
| cvrmisc.o | 2000-05-12 10:17 | 4.5K | ||
| verify.c | 1999-09-17 21:03 | 4.5K | ||
| cubestr.c | 1999-09-17 21:03 | 4.3K | ||
| essen.c | 1999-09-17 21:03 | 4.3K | ||
| equiv.o | 2000-05-12 10:17 | 4.2K | ||
| sparse.h | 1992-05-14 00:00 | 4.1K | ||
| exact.c | 1999-09-17 21:03 | 4.1K | ||
| essen.o | 2000-05-12 10:17 | 4.0K | ||
| espresso.o | 2000-05-12 10:17 | 4.0K | ||
| main.h | 1992-05-14 00:00 | 3.9K | ||
| sparse.o | 2000-05-12 10:17 | 3.8K | ||
| rows.o | 2000-05-12 10:17 | 3.6K | ||
| cols.o | 2000-05-12 10:17 | 3.6K | ||
| primes.c | 1999-09-17 21:03 | 3.5K | ||
| espresso.c | 1999-09-17 21:03 | 3.5K | ||
| sparse.c | 1999-09-17 21:03 | 3.3K | ||
| cvrmisc.c | 1999-09-17 21:03 | 3.1K | ||
| map.c | 1999-09-17 21:03 | 3.0K | ||
| globals.o | 2000-05-12 10:17 | 3.0K | ||
| indep.c | 1999-09-17 21:03 | 3.0K | ||
| globals.c | 1999-09-17 21:03 | 2.6K | ||
| getopt.o | 2000-05-12 10:17 | 2.5K | ||
| sparse_int.h | 1992-05-14 00:00 | 2.4K | ||
| dominate.c | 1999-09-17 21:03 | 2.3K | ||
| gimpel.c | 1999-09-17 21:03 | 2.3K | ||
| part.c | 1999-09-17 21:03 | 2.2K | ||
| indep.o | 2000-05-12 10:17 | 2.2K | ||
| gimpel.o | 2000-05-12 10:17 | 2.2K | ||
| part.c.orig | 1992-05-14 08:41 | 2.1K | ||
| equiv.c | 1999-09-17 21:03 | 2.1K | ||
| dominate.o | 2000-05-12 10:17 | 2.0K | ||
| solution.o | 2000-05-12 10:17 | 1.9K | ||
| part.o | 2000-05-12 10:17 | 1.9K | ||
| solution.c | 1999-09-17 21:03 | 1.7K | ||
| getopt.c | 1999-09-17 21:03 | 1.6K | ||
| sminterf.o | 2000-05-12 10:17 | 1.5K | ||
| Makefile.template | 1999-09-27 11:57 | 1.4K | ||
| mincov_int.h | 1992-05-14 00:00 | 1.3K | ||
| sminterf.c | 1999-09-17 21:03 | 742 | ||
| mincov.h | 1992-05-14 00:00 | 143 | ||
| examples/ | 1997-04-06 18:08 | - | ||
| ex/ | 1997-04-06 18:08 | - | ||