Release 0.3.9

[mantkiew]

1) added support for inheritance from nested abstract clafers, see simple test case and more complex test case. Supported only in the Alloy backend.

2) fixed problem with lifting nested constraints, see test case.

3) fixed group cardinality inheritance, see test case.

4) added assertion generation for Alloy, see test case and the corresponding Alloy output. Supported only in the Alloy backend.

5) added a unary operator product, see test case, pull request. Supported only in the Choco backend.

6) added a binary operator % ("reminder" or "modulo division"), see test case.

7) Improved HTML and Graph generation by escaping special characters.

8) changed Alloy 4.2 to be the default mode.

9) changed the Python output to be in line with the Choco output, which is very concise and simple.

10) removed GLPK Scope analyzer and improved compiler performance, see pull request. Results:

Models:

• Scade by Aymen Ketata

All clafers: 435 | Abstract: 114 | Concrete: 321 | Reference: 204 Constraints: 242 Goals: 0

• AADL by Alex Murashkin

All clafers: 209 | Abstract: 47 | Concrete: 162 | Reference: 43 Constraints: 341 Goals: 1

• PowerWindow by Alex Murashkin

All clafers: 137 | Abstract: 20 | Concrete: 117 | Reference: 46 Constraints: 246 Goals: 3