gsdlab/clafer

Stars
45
Rank 606,628 (Top 13 %)
Language
Haskell
License
MIT License
Created over 13 years ago
Updated 9 months ago

gsdlab/clafer

gsdlab

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

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.

claferMooStandalone

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

chocosolver

A backend for Clafer using the Choco4 solver.

ClaferToolsST

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

ClaferIDE

Web-Based Development Environment for Clafer

ClaferToolsUICommonPlatform

All common components to be shared among Clafer Tools Web Tools

ClaferChocoSoo

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

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

cdl2smt

CDL conversion to yices SMT solver input format

ClaferCaseStudies

ClaferConfigurator

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