A real time inference engine for temporal logical specifications
Enables easy experimentation with state of the art algorithms
A tool for finite state machine analysis and synthesis.
Creates and operates a stepped state machine
Utility converts the weights file of a MLP Breadboard into a formula