gsdlab/claferIG

Stars
12
Rank 1,597,372 (Top 32 %)
Language
Haskell
License
MIT License
Created almost 13 years ago
Updated about 1 year ago

gsdlab/claferIG

gsdlab

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

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

clafer

Clafer is a lightweight modeling language

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

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