2013-11-07 | Matthias Wachs | extend info cb and documentation | blob | commitdiff | raw |
2013-10-31 | Matthias Wachs | benchmark with updates | blob | commitdiff | raw | diff to current |
2013-10-31 | Matthias Wachs | adding additional INFO | blob | commitdiff | raw | diff to current |
2013-10-30 | Matthias Wachs | implemented solver information callbacks for benchmarking | blob | commitdiff | raw | diff to current |
2013-10-18 | Matthias Wachs | doxygen | blob | commitdiff | raw | diff to current |
2013-10-09 | Matthias Wachs | documentation for solver api | blob | commitdiff | raw | diff to current |
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 |