For testing.
authorLucca Hirschi <lucca.hirschi@gmail.com>
Tue, 17 Jul 2012 11:35:07 +0000 (13:35 +0200)
committerLucca Hirschi <lucca.hirschi@gmail.com>
Tue, 17 Jul 2012 11:35:07 +0000 (13:35 +0200)
commit23f38d4b2cbe1da33efab3c04df478ecd0f20894
treeaa84cfab30e6f1ca60104519bcadd69e8fbdff2d
parent05eaaee159125065661a69fbe3d11f54a3534f3f
parent574beb8979747d790c4d9f8ae10dffaad04f444d
For testing.
Merge branch 'lucca-tests-bench' into HEAD

Conflicts:
.gitignore
bench_test
benchmark
src/solve.ml