Introducción

Mediante esta aplicación se permite la visualización de un conjunto de posibles conflictos calculado previamente mediante la aplicación de cálculo.

Para ello partiremos de un archivo de salida generado por dicha aplicación, pudiendo ver en forma de hiperárbol dirigido cada uno de los modelos evaluables minimales contenidos en el conjunto de posibles conflictos obtenido.

Para obtener ayuda acerca de un determinado elemento lo ha de seleccionar en el menu de la izquierda.