Explanation — priority P0. Linked to the “Handling infeasibility” how-to guide.
To be written
- Definition of a hard constraint (must be respected) vs soft (respected if possible)
- Examples of each type in the Kardinal model
- How the engine arbitrates in case of conflict
- Why a problem is declared infeasible