gsdlab/vpdev
Virtual Platform Development Tool
Developer Profile
gsdlab
Discovered public repositories for gsdlab in the GitHub catalog.
gsdlab/ClaferCaseStudies
Public repository.
gsdlab/ClaferToolsUICommonPlatform
All common components to be shared among Clafer Tools Web Tools
gsdlab/ClaferChocoIG
Project discontinued. Code merged into chocosolver project.
gsdlab/ClaferIDE
Web-Based Development Environment for Clafer
gsdlab/ClaferChocoSoo
Uses ChocoSolver to run single-objective optimization on a Clafer file and produce results in ClaferMoo format.
gsdlab/ClaferSMT
Python IR classes for Clafer, along with SMT backends
gsdlab/ClaferConfigurator
An interactive, web-based, configurator for Clafer models.
gsdlab/chocosolver
A backend for Clafer using the Choco4 solver.
gsdlab/ClaferMooVisualizer
An interactive tool for the visualization and exploration of the set of Pareto-optimal variants generated by ClaferMoo.
gsdlab/clafer-ruby
Investigating embedding of Clafer into Ruby
gsdlab/claferMooStandalone
A multi-objective optimizer for attributed feature models with quality attributes and optimization objectives expressed in Clafer.
gsdlab/FeatureModelsCSP
Convert Feature Models in Clafer to CSP Choco
gsdlab/claferwiki
A collaborative IDE for developing Clafer models.
gsdlab/claferIG
Support for reasoning on Clafer models by instantiation and counter example generation.
gsdlab/xcdl-analysis
An extended version of the cdl-analysis framework.
gsdlab/cdl2smt
CDL conversion to yices SMT solver input format
gsdlab/clafer
Clafer is a lightweight modeling language
gsdlab/cdl2clafer
CDL to Clafer transformation project
gsdlab/fsmls
Original prototype implementation of FSMLs