2015-02-08 | Christian Grothoff | -fix config, shutdown issue | blob | commitdiff | raw |
2014-12-15 | Christian Grothoff | -simplify configs, do use defaults where they work... | blob | commitdiff | raw | diff to current |
2013-09-26 | Matthias Wachs | new solver specific test | blob | commitdiff | raw | diff to current |
2013-09-26 | Matthias Wachs | updated configuration files | blob | commitdiff | raw | diff to current |
2013-09-26 | Matthias Wachs | new solver test | blob | commitdiff | raw | diff to current |