Usage:

1. Extract the archive CstnuTool-<release>.tgz.

2. In the directory CstnuTool-<release>, the JAR file CSTNU-Tool-<release>.jar contains all Java classes for manipulating temporal-network instances.
   See the RELEASE_NOTES.md file in this directory and the Javadoc on this site for more details.

3. The same directory CstnuTool-<release> also contains the following shell commands:

   1. tnEditor.sh
      A graphical editor for temporal networks. It allows users to create or modify a network, load one in GraphML format, and check it. The resulting instance is shown next to the original one.

   2. CSTNUTranslator.sh
      It calls a Java program that translates a CSTNU into the corresponding TIGA.
      The source file must be the GraphML representation of a CSTNU.
      The output is the XML description of the corresponding TIGA.
      You must install the uppaal-tiga-0.18 software to run CSTNUTranslator.sh.
      Adjust the location of the verifytga program inside CSTNUTranslator.sh according to where you installed uppaal-tiga-0.18.

   3. CSTNRunningTime.sh
      This tool is intended for a subproject that experiments with a new algorithm for checking the dynamic consistency of CSTNs, i.e., networks without uncertainty.
      In particular, this tool determines the average execution time of the dynamic-consistency checking algorithm for a set of CSTN instances.

   4. CSTNURunningTime.sh This tool is intended for a subproject that evaluates the algorithm for checking the dynamic consistency of CSTNUs on batches of instances.
      In particular, this tool determines the average execution time of the dynamic-consistency checking algorithm for a set of CSTNU instances.