v2.4.1

A bunch of bugfixes. Most importantly, JSON solutions containing matrices are now parsed back in correctly, when given as parameters. And #556, related to calling SMT solvers.

What's Changed

• Moving our testing to GH actions by @ozgurakgun in #539
• Fix malformed JSON solution file when searching for multiple solutions and finding 0 solutions by @ozgurakgun in #542
• Simplify docker + pushing to ghcr by @ozgurakgun in #543
• Using alpine as the base image so we can get smaller images by @ozgurakgun in #544
• Better json input by @ozgurakgun in #550
• Better name resolution error by @ozgurakgun in #552
• fix #522, also clarify text by @ott2 in #555
• Add an additional command line argument to SR so it does not have to guess which solver to use (fix #505) by @ozgurakgun in #556

Full Changelog: v2.4.0...v2.4.1