gsdlab/ClaferToolsST

Stars
3
Rank 3,963,521 (Top 79 %)
Language
License
MIT License
Created about 10 years ago
Updated over 7 years ago

gsdlab/ClaferToolsST

gsdlab

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

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

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.

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

xcdl-analysis

An extended version of the cdl-analysis framework.

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