Basic working optimistic feature model editor, including in particular a constraint editor, resolution of conflicts and garbage collection.