The core model that simulates the disease spread is a classic SIR model. First, we give a brief overview of this model, as used in this implementation, in SIR Compartmental Model. Although the code is modularized in such a way that this core implementation can be used directly, the wrapping code assumes a given population model defined in Population Model. Lastly, the Arrival Model section describes how arrival testing is modelled with respect to the core SIR model.