0.3

c-cube released this 04 Nov 14:04

· 247 commits to master since this release

e08f8df

Incremental release compared to 0.2, with better support for kodkod and paradox, and support for windows.

See https://gforge.inria.fr/frs/?view=shownotes&group_id=7360&release_id=9995

Assets 2