0.5.1

bugfix release, with a migration to jbuilder.

0.5

New release of nunchaku in summer 2017, with many bugfixes and relying on a newer version of smbc.

0.4

Many bugfixes and improved support for smbc, as well as containers 1.0.

0.3.1

Bugfix release for 0.3, with:

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

0.3

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

0.2

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.

0.1

First (experimental) release.

See https://gforge.inria.fr/frs/?view=shownotes&group_id=7360&release_id=9602 for more details.