solution finder

http://cpd.conted.ox.ac.uk/lnat/links.php