variED This repository contains several resources, such as evaluation results, related to variED, an editor for real-time, collaborative feature modeling.
