Library rt.model.apa.job

(* The notion of a valid job remains the same under APA scheduling. *)
Require Export rt.model.basic.job.