Welcome to
ClaferConfigurator
v0.4.4.2016-09-19
In this tool, you can edit, compile, explore, and configure models expressed using Clafer.
Press the '?' button of each window to see specific help. In general:
Use the view
Input Clafer Model and Options
to edit and compile a model.
Use the view
Instance Generator
to run an instance generator and adjust the bitwidth.
Use the view
Feature and Quality Matrix
to filter the configurations by selecting and eliminating features.
Use the view
Constraints
to view and copy
Use the view
Output
to see the messages and UnSAT cores.
For more information visit
|
Clafer Home
|
Generative Software Development Lab, University of Waterloo, Canada
|
Do not display this message at start again.