casadi/casadi — pull request #660 by ghorn (2013-04-16 14:57:01+00:00)
Title: fix Levenshtein edit distance implementation

closes #252