Appendix A. Proofs

In this appendix, we give the proofs of the various results asserted in the body of the paper.

- Proof of lemma 2
- Proof of Theorem 1
- Proof of Theorem 2
- Proof of algorithm for non-strict comparisons
- Validation of algorithm solve_constraints2
- Proof of Theorem 3
- Proof of theorem 4