Clafer Integrated Development Environment ( ClaferIDE),.

Z3-based Instance Generator and Multi-Objective Optimizer ( ClaferSMT),.

Choco3-based Instance Generator and Multi-Objective Optimizer ( chocosolver, ClaferChocoIG), and.

Alloy-based Instance Generator ( ClaferIG),.

It translates models in Clafer to other formats (e.g., Alloy, XML, Python, JS, HTML, DOT) to allow for reasoning and processing with existing tools (Alloy Analyzer, Choco3, and Z3 SMT solver). This is also known as Concept Modeling or Ontology Modeling.Ĭlafer compiler provides a reference language implementation. Multi-Objective Product Optimization - aims at finding a set of products in a given product line that are optimal with respect to a set of objectives.Ĭlafer multi-objective optimizer generates a Pareto front of optimal product configurations.ĭomain Modeling - aims at improving the understanding of the problem domain in the early stages of software development and determining the requirements with fewer defects.

Product-Line Modeling - aims at representing and managing commonality and variability of assets in product lines and creating and verifying product configurations.Ĭlafer naturally supports multi-staged configuration.

There are many possible applications of Clafer however, three are prominent: The main goal of Clafer is to make modeling more accessible to a wider range of users and domains. MODELS group at IT University of Copenhagen.Ĭlafer can be used for modeling of static hierarchical structures but has no support for modeling the change of the structures over time (behavior). Head: git clone git:///gsdlab/clafer.gitĬlafer is a general-purpose lightweight structural modeling language developed by Kacper Bak, Jimmy Liang, Michal Antkiewicz, Ed Zulkoski, Luke Michael Brown, Paulius Juodisius, Rafael Olaechea

How to install glpk for python on mac