Changelog:
- added Multi-objective Optimization (requires AlloyMOO)
- automatic scope analysis in ClaferIG
- integration of Clafer compiler, instance generator, and multi-objective optimization
- rending Clafer models as navigable HTML and DOT files
- fixed bugs
- language cleanup
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.