solution finder

http://horizon.unc.edu