This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.
Web-Based Clafer Tools
Web-Based Clafer Tools is a tool set that consists of three tools: ClaferIDE, ClaferConfigurator, ClaferMooVisualizer. All three share the same platform, but designed for different purposes.
ClaferIDE is focused on development using Clafer: you can enjoy syntax highlighting, indentations, expanding/collapsing levels, thanks to ACE text editor. Once you wrote your model, you can compile it, and see whether there are syntax errors. The output is shown in various formats: HTML, XML, a code for graphical tools, and special output formats like Python, ChocoJS and Alloy to be used further in instantiation Once compilation is successful, you can run your model using one of the solvers offered.
ClaferConfigurator is designed for generating constraints based on instance desirability. You can generate instances gradually, and see whether the instances are something that you need.
Source code: Github
ClaferMooVisualizer computes optimal instances and visualizes them. Allows interactive exploration of Pareto fronts, filtering by qualities or features, exporting instances.