haskell solver established
greedy solver
fixed syntatic errors
testing failures
imported discrete optimization repository
Merge branch 'do'