Commit message (Expand) | Author | Age | |
---|---|---|---|
* | use lower-case | Christian Grothoff | 2015-02-07 |
* | -simplify configs, do use defaults where they work / are identical | Christian Grothoff | 2014-12-15 |
* | fixing configuration for failing test | Matthias Wachs | 2014-04-03 |
* | test variables | Fabian Oehlmann | 2013-11-22 |
* | new solver specific test | Matthias Wachs | 2013-09-26 |
* | updated configuration files | Matthias Wachs | 2013-09-26 |
* | new solver test | Matthias Wachs | 2013-09-26 |