2022-05-30 | Jannis Harder | Better checking of available solvers | blob | commitdiff | raw |
2022-04-25 | Jannis Harder | Merge pull request #156 from jix/refactor-tests | blob | commitdiff | raw | diff to current |
2022-04-11 | Jannis Harder | Refactor tests | blob | commitdiff | raw | diff to current |