2013-09-10 | Matthias Wachs | more renaming from simplistic to proportional | blob | commitdiff | raw |
2013-08-29 | Matthias Wachs | implemented feedback API, but not yet calling solver | blob | commitdiff | raw | diff to current |
2013-06-19 | Matthias Wachs | missing file | blob | commitdiff | raw | diff to current |