Simulator for the Theta* library.