Sequent

A library for interactive discrete-event simulation.