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.
Splot to Clafer Translator
Splot2Clafer is a small tool that translates files from SPLOT SXFM format to Clafer.
The attached jar file contains source code, class files and required library: sxfm.jar.
You can run the tool with command:
java -jar splot2clafer.jar inputFile.xml
where inputFile stands for XML file with SXFM feature model. The tool produces inputFile.cfr and shows the number of cross-tree constraints distinct variables
| Attachment | Size |
|---|---|
| splot2clafer.jar | 156.07 KB |
