solution finder

http://www.efm.leeds.ac.uk/