This report describes the detailed algorithms contained within the tanKer Air Refueling Model for Analysis (KARMA) and explains how to run the model. KARMA enables an analyst to simulate the extent to which a tanker force can aerially refuel combat aircraft in a denied environment.