Library rt.restructuring.model.job
(* ----------------------------------[ coqtop ]---------------------------------
Welcome to Coq 8.10.1 (October 2019)
----------------------------------------------------------------------------- *)
From rt.restructuring.behavior Require Export all.
From mathcomp Require Export eqtype ssrnat.
In this section, we introduce properties of a job.
Assume that job costs are known.
Consider an arbitrary job.
The job cost must be positive.