Wednesday, July 18, 2012

Clafer Tools 0.3 Released!

by Kacper Bąk

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