gsdlab/xcdl-analysis

Stars
1
Language
Scala
Created over 13 years ago
Updated over 13 years ago

gsdlab/xcdl-analysis

gsdlab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An extended version of the cdl-analysis framework.

clafer

Clafer is a lightweight modeling language

claferIG

Support for reasoning on Clafer models by instantiation and counter example generation.

claferMPS

Meta-Programming System support for Clafer

claferwiki

A collaborative IDE for developing Clafer models.

ClaferMooVisualizer

An interactive tool for the visualization and exploration of the set of Pareto-optimal variants generated by ClaferMoo.

chocosolver

A backend for Clafer using the Choco4 solver.

claferMooStandalone

A multi-objective optimizer for attributed feature models with quality attributes and optimization objectives expressed in Clafer.

ClaferToolsST

Integration of Clafer Compiler and Instance Generators into Sublime Text 2/3

ClaferIDE

Web-Based Development Environment for Clafer

ClaferChocoSoo

Uses ChocoSolver to run single-objective optimization on a Clafer file and produce results in ClaferMoo format.

ClaferToolsUICommonPlatform

All common components to be shared among Clafer Tools Web Tools

fsmls

Original prototype implementation of FSMLs

ClaferSMT

Python IR classes for Clafer, along with SMT backends

ClaferConfigurator

An interactive, web-based, configurator for Clafer models.

cdl2smt

CDL conversion to yices SMT solver input format

ClaferCaseStudies