2013-10-09 | Matthias Wachs | documentation for solver api | blob | commitdiff | raw |
2013-10-09 | Matthias Wachs | documentation and fix for const warning | blob | commitdiff | raw | diff to current |
2013-10-08 | Matthias Wachs | ats solver are now implemented as plugins | blob | commitdiff | raw | diff to current |