0.3.1

c-cube released this 24 Nov 10:12

· 218 commits to master since this release

Bugfix release for 0.3, with:

better support for TIP
4.04 compatibility
improved encoding to paradox/kodkod

Assets 2