Clafer Tools 0.4.2.1 Released

by Michał Antkiewicz, updated on Nov 03, 2015

This is a simultaneous release of all Clafer Tools.

Binary builds are available from Clafer Tools - Binary Distributions.

Clafer compiler, release pull request (0.4.2), hotfix (0.4.2.1).

• added CheatSheet and generated syntax documentation clafer.pdf.
• Added minimum and maximum of a set operators min and max.
• Changed syntax of objectives to << minimize ... >> and << maximize ... >>. The old syntax << min ... >> and << max ... >> still works but it is now deprecated.
• Changed precedence of if/then/else so that nested expressions do not need to be in parens. See issue #73.
• Implemented ability for top-level abstract clafer to extend a nested abstract clafer #67. See test case.
• Added generation of assertions for Choco.
• Added validation with Choco and GraphVis to -v.
• Use Haskell stack.

Alloy-based instance generator, release pull request (0.4.2), hotfix (0.4.2.1).

• Use Haskell stack.

Choco-based instance generator and multi-objective optimizer, release pull request (0.4.2), release pull request (0.4.2.1).

0.4.2

• Integrated and extended the CLI from ClaferChocoIG project. ClaferChocoIG is now discontinued.
• Added setStrategy.
• Ported to the latest Choco3/develop.
• Added minimum/maximum of a set with a default value.
• Added range/domain restriction.
• Added common subexpression elimination.
• Fixed group cardinality inheritance to match ClaferIG and semantics since 0.3.9.
• Use a ternary constraint for if/then/else.
• Improved symmetry breaking.
• Improved inverse relations.
• Improved sum propagator.
• Added assertions.
• Added continuous integration Travis CI.
• Fixed modulo operator.

0.4.2.1

• Many optimizations
• Improved symmetry breaking
• Restore strategies "smaller" and "larger"
• New command line options: time, noprint, dataFile
• Ported to the latest Choco3/develop

Claferwiki, release pull request (0.4.2), hotfix (0.4.2.1).

• Use Haskell stack.

ClaferToolsUICommonPlatform, release pull request (0.4.2).

• Added excluding variants in the feature and quality matrix, issue #23.

ClaferMOOVisualizer, release pull request (0.4.2).

• Added excluding variants in the feature and quality matrix, issue #23.

ClaferConfigurator, release diff (0.4.2).

• Added excluding variants in the feature and quality matrix, issue #23.

ClaferIDE, release diff (0.4.2).

ClaferToolsST, release diff (0.4.2), release commit 0.4.2.1.