People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
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.
Related publications: ClaferMooVisualizer and Clafer Tools.
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.
Live installations: develop master
Source: Github
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.
Live installations: develop master
Source code: Github
ClaferMooVisualizer computes optimal instances and visualizes them. Allows interactive exploration of Pareto fronts, filtering by qualities or features, exporting instances.
Live installations: develop master
Source: Github
