Abans de generar, comprova que la setmana hi cap
La qualitat de l’horari depèn de les dades d’entrada. Aquesta revisió evita cercar durant hores sota condicions contradictòries.
Capacitat i simultaneïtat
Defineix dies, franges i esbarjos. Suma les hores de cada grup i docent sense comptar els esbarjos com a temps lectiu. Vint franges disponibles no poden allotjar vint-i-dues sessions.
Comprova les coincidències obligatòries: una banda d’optatives necessita diversos docents i aules alhora. Una sessió doble requereix franges consecutives, no només dos espais lliures durant la setmana.
Obligacions i preferències
Registra una indisponibilitat real com a restricció dura. Si hi ha marge per cedir, evitar l’última hora o reduir buits pot ser una preferència. Prohibir-ho tot pot impedir qualsevol solució.
Valida i desa una referència abans de canviar regles. Distingeix entre dades incompletes, incompatibilitat demostrada i una cerca que no ha acabat. Modifica una condició cada vegada i compara el resultat; no eliminis requisits necessaris només per obtenir una taula.