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

splot2clafer.jar156.07 KB