Discover gsdlab/claferMooStandalone Open Source project

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Python
License
MIT License
Created about 12 years ago
Updated almost 11 years ago

gsdlab

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

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

clafer

Clafer is a lightweight modeling language

Haskell

claferIG

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

Haskell

claferMPS

Meta-Programming System support for Clafer

Shell

claferwiki

A collaborative IDE for developing Clafer models.

HTML

ClaferMooVisualizer

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

JavaScript

chocosolver

A backend for Clafer using the Choco4 solver.

Java

ClaferToolsST

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

ClaferIDE

Web-Based Development Environment for Clafer

JavaScript

ClaferChocoSoo

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

Java

ClaferToolsUICommonPlatform

All common components to be shared among Clafer Tools Web Tools

JavaScript

fsmls

Original prototype implementation of FSMLs

Java

xcdl-analysis

An extended version of the cdl-analysis framework.

Scala

ClaferSMT

Python IR classes for Clafer, along with SMT backends

TeX

ClaferConfigurator

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

JavaScript

cdl2smt

CDL conversion to yices SMT solver input format

Scala

ClaferCaseStudies

gsdlab/claferMooStandalone

gsdlab

Reviews

Repository Details

More Repositories