| Fri, 09 Aug 2013 11:28:17 +0200 | Apply unify-sources.sh to the source tree | file | diff | annotate |
| Sat, 08 Jan 2011 15:52:07 +0100 | Various search limits for the max clique alg (#405) | file | diff | annotate |
| Fri, 23 Jul 2010 06:29:37 +0200 | Add a heuristic algorithm for the max clique problem (#380) | file | diff | annotate |