0.2

c-cube released this 03 Aug 15:30

· 312 commits to master since this release

Large release, with many improvements and changes. In particular:

support for higher-order functions
many bugfixes and improvements
backend: Paradox
backend: kodkod

See https://gforge.inria.fr/frs/?group_id=7360 for more information and to get the binaries.

Assets 2