Commit message (Expand) | Author | Age | |
---|---|---|---|
* | -remove dead ats-tests, fix strange Debian build issues | Christian Grothoff | 2021-08-24 |
* | adding new ATS struct, updating config files to use lower case solver names | Matthias Wachs | 2015-04-09 |
* | new config files | Matthias Wachs | 2013-09-18 |