gsdlab/ClaferChocoSoo gsdlab/ClaferChocoSoo

  • Stars
    star
    1
  • Language
    Java
  • License
    MIT License
  • Created about 11 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gsdlab/ClaferChocoSoo
github

gsdlab

Reviews

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

Repository Details

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

More Repositories

1

clafer

Clafer is a lightweight modeling language
Haskell
45
star
2

claferIG

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

claferMPS

Meta-Programming System support for Clafer
Shell
8
star
4

claferwiki

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

ClaferMooVisualizer

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

chocosolver

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

claferMooStandalone

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

ClaferToolsST

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

ClaferIDE

Web-Based Development Environment for Clafer
JavaScript
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