All credit to Ken Karrasch.
Visit https://logicnavigator.weebly.com/ for official releases. This github is just for staging fixes/feature requests.
Ken has provided YouTube videos showing how the simulator works.
Through the panel, it is possible to toggle tracks/calls on signals/points throughout the simulation. The simulation will apply the full locking that the loaded interlocking data provides.
Logic Navigator provides an easy way to view interlocking data from many different kinds of interlocking. The main interlockings that are supported are Westrace Mk1, Mk2 and Microlok II.
Logic Navigator provides a method of viewing live rungs during simulation, and toggling available inputs (inputs that are defined as an input to the interlocking) directly from the live rungs.
Logic Navigator can be used to provide lessons to others interested in learning how different functions are implemented. Above, and available on the weebly website as a download, a tutorial on how points swing is available. This tutorial shows the different layers of protection including the different stages of points control.