Commit message (Expand) | Author | Age | |
---|---|---|---|
* | adding new ATS struct, updating config files to use lower case solver names | Matthias Wachs | 2015-04-09 |
* | updated configuration files | Matthias Wachs | 2013-09-10 |
* | new test directory for tests depending on testbed | Matthias Wachs | 2013-09-06 |