Commit message (Expand) | Author | Age | |
---|---|---|---|
* | -fix config, shutdown issue | Christian Grothoff | 2015-02-08 |
* | -simplify configs, do use defaults where they work / are identical | Christian Grothoff | 2014-12-15 |
* | 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 |