Non-holonomic integrators | Synapse