gsdlab/ClaferSMT gsdlab/ClaferSMT

  • Stars
    star
    1
  • Language
    TeX
  • Created over 11 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gsdlab/ClaferSMT
github

gsdlab

Reviews

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

Repository Details

Python IR classes for Clafer, along with SMT backends

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

ClaferChocoSoo

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

ClaferToolsUICommonPlatform

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

fsmls

Original prototype implementation of FSMLs
Java
1
star
13

xcdl-analysis

An extended version of the cdl-analysis framework.
Scala
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