Editor and Solver of Cause-Effect-Graphs
A tool for automated translation of specification to a structured data.