Changes from version 1.0:

- fixed a bug: the flag 'reuse_graphs' provided as an argument to Solve() was never used;
instead, the decision whether or not to reuse graphs was random. (Thanks to Christoph Lampert for pointing this out.)
