v2.5.1

czengler released this 31 Jul 15:07

· 11 commits to master since this release

Changed

Changed visibility from some methods from package-private to public for formula and solver serializiation via the new https://github.com/logic-ng/serialization library

Assets 2