We've got lots of freedom and independence, but you are never on your own when you encounter problems.
Splot to Clafer Translator
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