solution finder

http://www.cde.unibe.ch/