From: Lucca Hirschi <lucca.hirschi@gmail.com>
Date: Tue, 17 Jul 2012 11:35:07 +0000 (+0200)
Subject: For testing.
X-Git-Tag: Core+Extentions+Optim-hconsed_V1~1
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=23f38d4b2cbe1da33efab3c04df478ecd0f20894

For testing.
Merge branch 'lucca-tests-bench' into HEAD

Conflicts:
	.gitignore
	bench_test
	benchmark
	src/solve.ml
---

23f38d4b2cbe1da33efab3c04df478ecd0f20894