A GUI for Grid-Based Temporal Logic Inference - View it on GitHub