Commit Graph
4 Commits
Author SHA1 Message Date
Leo Alt 24df40de9a Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
George Plotnikov 6374b4fe23 regenerating tests expectation 2022-10-26 15:13:47 +05:00
Leo Alt cbaba6f913 update tests 2022-05-11 20:02:31 +02:00
Leo Alt 6c8ecfa82c Add option to choose solver 2021-07-27 17:14:21 +02:00