casadi/casadi — pull request #937 by jgillis (2014-01-03 20:53:00+00:00)
Title: makeSparse: allow for tolerance (DMatrix)

Up for comments by @jaeandersson