Pinned Repositories
chocosolver
A backend for Clafer using the Choco4 solver.
clafer
Clafer is a lightweight modeling language
claferIG
Support for reasoning on Clafer models by instantiation and counter example generation.
claferMooStandalone
A multi-objective optimizer for attributed feature models with quality attributes and optimization objectives expressed in Clafer.
ClaferMooVisualizer
An interactive tool for the visualization and exploration of the set of Pareto-optimal variants generated by ClaferMoo.
claferMPS
Meta-Programming System support for Clafer
ClaferToolsST
Integration of Clafer Compiler and Instance Generators into Sublime Text 2/3
claferwiki
A collaborative IDE for developing Clafer models.
fsmls
Original prototype implementation of FSMLs
xcdl-analysis
An extended version of the cdl-analysis framework.
GSD Lab's Repositories
gsdlab/clafer
Clafer is a lightweight modeling language
gsdlab/claferIG
Support for reasoning on Clafer models by instantiation and counter example generation.
gsdlab/claferMPS
Meta-Programming System support for Clafer
gsdlab/claferwiki
A collaborative IDE for developing Clafer models.
gsdlab/ClaferMooVisualizer
An interactive tool for the visualization and exploration of the set of Pareto-optimal variants generated by ClaferMoo.
gsdlab/chocosolver
A backend for Clafer using the Choco4 solver.
gsdlab/claferMooStandalone
A multi-objective optimizer for attributed feature models with quality attributes and optimization objectives expressed in Clafer.
gsdlab/ClaferToolsST
Integration of Clafer Compiler and Instance Generators into Sublime Text 2/3
gsdlab/cdl2smt
CDL conversion to yices SMT solver input format
gsdlab/ClaferCaseStudies
gsdlab/ClaferChocoSoo
Uses ChocoSolver to run single-objective optimization on a Clafer file and produce results in ClaferMoo format.
gsdlab/ClaferConfigurator
An interactive, web-based, configurator for Clafer models.
gsdlab/ClaferIDE
Web-Based Development Environment for Clafer
gsdlab/ClaferSMT
Python IR classes for Clafer, along with SMT backends
gsdlab/ClaferToolsUICommonPlatform
All common components to be shared among Clafer Tools Web Tools
gsdlab/fsmls
Original prototype implementation of FSMLs
gsdlab/xcdl-analysis
An extended version of the cdl-analysis framework.
gsdlab/cdl2clafer
CDL to Clafer transformation project
gsdlab/clafer-ruby
Investigating embedding of Clafer into Ruby
gsdlab/ClaferChocoIG
Project discontinued. Code merged into chocosolver project.
gsdlab/clafermodelwikidata
wikidata of Clafer Model Wiki: http://t3-necsis.cs.uwaterloo.ca:8091/
gsdlab/faultTreeSMT
Using an SMT solver to perform fault tree analysis
gsdlab/FeatureModelsCSP
Convert Feature Models in Clafer to CSP Choco
gsdlab/package_control_channel
Default channel file for Package Control. Follow the directions at:
gsdlab/ROS
Meta-Programming System support for ROS messages.
gsdlab/StringMap
Haskell Project to convert the PrefixTree of the Holumbus into it's own Hackage Packet
gsdlab/vpdev
Virtual Platform Development Tool