| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| AES-2-4-4-4-IASC-0.15-coldboot.lp.gz | 01-Feb-2010 18:03 | 13K | ||
| AES-2-4-4-4-IASC-0.30-coldboot.lp.gz | 01-Feb-2010 18:03 | 13K | ||
| AES-2-4-4-8-IASC-0.15-coldboot.lp.gz | 01-Feb-2010 18:03 | 154K | ||
| AES-2-4-4-8-IASC-0.30-coldboot.lp.gz | 01-Feb-2010 18:03 | 154K | ||
| AES-3-4-4-4-IASC-0.45-coldboot.mps.gz | 01-Feb-2010 15:31 | 21K | ||
| GetMemUsage.sh | 20-Nov-2006 06:37 | 1.0K | ||
| cache | 01-Nov-2009 06:18 | 12K | ||
| cache.c | 01-Nov-2009 06:17 | 2.7K | ||
| cache_sizes | 01-Nov-2009 06:19 | 15 | ||
| coldboot/ | 31-Jan-2010 12:19 | - | ||
| cryptominisat-2.3.0.tar.gz | 08-Jan-2010 06:37 | 1.0M | ||
| cryptominisat_ext.sh | 17-Dec-2009 03:17 | 1.4K | ||
| cs-10.1/ | 10-Oct-2008 13:11 | - | ||
| density-plot-10000-eno.png | 02-Nov-2009 02:22 | 38K | ||
| density-plot-16384-eno.png | 03-Nov-2009 03:52 | 38K | ||
| density-plot-32000.png | 04-Nov-2009 14:22 | 38K | ||
| find_pairs.tgz | 28-Aug-2009 06:11 | 10K | ||
| find_pairs/ | 02-Sep-2009 04:49 | - | ||
| foo-eno.png | 30-Oct-2009 04:36 | 39K | ||
| foo.png | 31-Oct-2009 05:15 | 42K | ||
| graphics/ | 12-Dec-2008 04:47 | - | ||
| gurobi.log | 01-Feb-2010 18:09 | 200K | ||
| heuristic-10.png | 17-Jul-2009 08:44 | 16K | ||
| heuristic.patch | 17-Jul-2009 07:26 | 2.7K | ||
| heuristic.png | 17-Jul-2009 08:32 | 16K | ||
| html.tar.gz | 04-Nov-2009 03:49 | 99K | ||
| ipa_smw.tar.gz | 19-Jan-2007 06:49 | 135K | ||
| m4ri-20091101.tar.gz | 04-Nov-2009 03:42 | 1.1M | ||
| m4ri-scripts/ | 01-Nov-2009 16:04 | - | ||
| m4ri-website/ | 09-Apr-2009 03:38 | - | ||
| m4ri_heuristic.patch | 17-Jul-2009 06:08 | 2.2K | ||
| minisat/ | 08-Dec-2006 11:41 | - | ||
| out.lp | 01-Feb-2010 09:59 | 7.7K | ||
| out.mps | 01-Feb-2010 09:59 | 8.7K | ||
| out2.mps | 01-Feb-2010 10:20 | 9.2K | ||
| present-sbox-universal-gb.txt | 26-Feb-2009 14:31 | 1.6M | ||
| present.lp | 31-Jan-2010 13:52 | 472K | ||
| present.mps | 31-Jan-2010 13:50 | 527K | ||
| sage-4.3.1.tar | 20-Jan-2010 16:18 | 264M | ||
| scratch_geom/ | 01-Feb-2010 15:59 | - | ||
| scratch_sage/ | 01-Feb-2010 15:59 | - | ||
| spkgs/ | 26-Jan-2010 07:07 | - | ||
| t2/ | 02-Nov-2009 06:28 | - | ||
| talks/ | 05-Jan-2010 07:35 | - | ||
| thesis-1.0.pdf | 18-Dec-2006 06:32 | 2.1M | ||
| thesis-code.tar.bz2 | 14-Feb-2007 11:06 | 38K | ||
| thesis.pdf | 18-Dec-2006 06:32 | 2.1M | ||
| ziboptsuite-1.2.0.tgz | 01-Feb-2010 15:56 | 3.2M | ||