A tool for extracting Strong Transitive Dependency and Conflict Graphs from Variability Models - View it on GitHub