WikiMini

Non-deterministic algorithm