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