Temporal Constraint Solver

TCSolver is a temporal reasoning toolkit for applications written in Java. It provides a Time Map Manager inference engine which recognizes temporal patterns. It can be used for fault-diagnosis and alarm filtering applications.