Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | extend info cb and documentation | Matthias Wachs | 2013-11-07 |
| | |||
* | benchmark with updates | Matthias Wachs | 2013-10-31 |
| | |||
* | adding additional INFO | Matthias Wachs | 2013-10-31 |
| | |||
* | implemented solver information callbacks for benchmarking | Matthias Wachs | 2013-10-30 |
| | |||
* | doxygen | Matthias Wachs | 2013-10-18 |
| | |||
* | documentation for solver api | Matthias Wachs | 2013-10-09 |
| | |||
* | documentation and fix for const warning | Matthias Wachs | 2013-10-09 |
| | |||
* | ats solver are now implemented as plugins | Matthias Wachs | 2013-10-08 |
initial commit: tests pass, no crashes with tests ... |