Commit message (Expand) | Author | Age | |
---|---|---|---|
* | big ATS refactoring, no serious semantic changes should stem from this | Christian Grothoff | 2015-02-05 |
* | Various changes: | Christian Grothoff | 2015-02-05 |
* | 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 |