gsdlab/cdl2smt

Stars
1
Language
Scala
Created over 13 years ago
Updated over 13 years ago

gsdlab/cdl2smt

gsdlab

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

CDL conversion to yices SMT solver input format

clafer

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.

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.

ClaferCaseStudies