| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| CryptoMiniSat.tar.gz | 06-May-2009 07:00 | 388K | ||
| CryptoMiniSat/ | 06-May-2009 07:00 | - | ||
| 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 | ||
| 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 | - | ||
| 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 | - | ||
| polybori_fixes.patch | 28-Oct-2009 08:56 | 14K | ||
| present-sbox-universal-gb.txt | 26-Feb-2009 14:31 | 1.6M | ||
| refman.pdf | 04-Nov-2009 03:51 | 504K | ||
| scratch/ | 18-Nov-2009 07:31 | - | ||
| spkgs/ | 20-Nov-2009 04:50 | - | ||
| t2/ | 02-Nov-2009 06:28 | - | ||
| talks/ | 15-Jul-2009 04:19 | - | ||
| 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 | ||