Abstract
This paper presents CSTNU Tool , a Java library for representing and checking different kinds of temporal constraint networks. In particular, CSTNU Tool offers an optimized implementation of some constraint-propagation algorithms to check the dynamic consistency/controllability (DC) of Conditional Simple Temporal Networks (CSTNs), Conditional Simple Temporal Networks with Uncertainty (CSTNUs), and Flexible Simple Temporal Networks with Uncertainty (FTNUs). The optimization is with respect to the management of labeled values that are present in conditional and flexible networks.The library offers also a simple GUI application to build/manage and check temporal networks in an intuitive way, and some Java programs for generating random temporal networks according to some input parameters.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
