gsdlab/clafer gsdlab/clafer

  • Stars
    star
    45
  • Rank 624,037 (Top 13 %)
  • Language
    Haskell
  • License
    MIT License
  • Created almost 14 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gsdlab/clafer
github

gsdlab

Reviews

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

Repository Details

Clafer is a lightweight modeling language

More Repositories

1

claferIG

Support for reasoning on Clafer models by instantiation and counter example generation.
Haskell
12
star
2

claferMPS

Meta-Programming System support for Clafer
Shell
8
star
3

claferwiki

A collaborative IDE for developing Clafer models.
HTML
7
star
4

ClaferMooVisualizer

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

chocosolver

A backend for Clafer using the Choco4 solver.
Java
4
star
6

claferMooStandalone

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

ClaferToolsST

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

ClaferIDE

Web-Based Development Environment for Clafer
JavaScript
1
star
9

ClaferChocoSoo

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

ClaferToolsUICommonPlatform

All common components to be shared among Clafer Tools Web Tools
JavaScript
1
star
11

fsmls

Original prototype implementation of FSMLs
Java
1
star
12

xcdl-analysis

An extended version of the cdl-analysis framework.
Scala
1
star
13

ClaferSMT

Python IR classes for Clafer, along with SMT backends
TeX
1
star
14

ClaferConfigurator

An interactive, web-based, configurator for Clafer models.
JavaScript
1
star
15

cdl2smt

CDL conversion to yices SMT solver input format
Scala
1
star
16

ClaferCaseStudies

1
star