> ## Documentation Index
> Fetch the complete documentation index at: https://developers.kardinal.ai/llms.txt
> Use this file to discover all available pages before exploring further.

# Contraintes dures vs souples

> Logique de faisabilité et raisons pour lesquelles un problème peut être déclaré infaisable.

<Note>
  Explication — priorité P0. Lié au guide pratique "Gérer l'infaisabilité".
</Note>

## À rédiger

* Définition d'une contrainte dure (doit être respectée) vs souple (à respecter si possible)
* Exemples de chaque type dans le modèle Kardinal
* Comment le moteur arbitre en cas de conflit
* Pourquoi un problème est déclaré infaisable