v3.10.0 has been released (already in August) with automatic translation between UVL language levels, prime implicant analysis, and improved feature model import and export:
github.com/FeatureIDE/Featur…
The release is joint work by University of Ulm and University of Magdeburg.