Cosa fa
Smootables genera gli orari con CP-SAT, un risolutore a vincoli usato nella pianificazione industriale. Il calcolo corre in due fasi: la prima dimostra che sotto le tue regole rigide esiste un orario senza sovrapposizioni, la seconda lo migliora secondo le preferenze che pesi tu. Il modello lavora su intervalli di 15 minuti con durate delle lezioni da 5 a 480 minuti: sessioni brevi, ore doppie e laboratori di giornata intera si collocano in modo nativo invece di essere forzati in slot fissi. I periodi ricorrenti risolvono una settimana tipo; i periodi personalizzati risolvono ogni settimana separatamente, così anche un trimestre senza due settimane uguali si genera.
La differenza la senti nella spiegabilità. Prima del calcolo, 13 controlli fermano un'esecuzione condannata e nominano il problema: una collocazione senza docente, un docente oltre le ore settimanali, una lezione bloccata fuori dalla sua finestra di disponibilità, troppe poche aule per i gruppi che si incontrano insieme. Quando un calcolo è davvero impossibile, il report classifica il conflitto in una di 13 cause tipizzate e aggiunge azioni suggerite per l'esecuzione, come aggiungere un docente, dividere un gruppo o allargare le aule consentite.
Come funziona in Smootables
- Completa il piano di periodo e premi Generate timetable. Prima gira la validazione; la barra laterale elenca ogni errore con la collocazione da cui proviene, marcato "fix before generating".
- Imposta le priorità una volta in Solver Settings: sei preferenze pesate che coprono i buchi di studenti e docenti, l'equilibrio giornaliero di entrambi, la distribuzione delle materie e la preferenza per il mattino, ognuna da 0 a 200. I pesi sono normalizzati: 100 pesa uguale in un istituto piccolo e in uno grande.
- Leggi il risultato nel pannello Timetable analysis: tempo di generazione, punteggio di ogni preferenza e qualità della soluzione fino a "Proven optimal".
- Se il risolutore dimostra che il piano è infattibile, scegli Complete with partial placement: tutto il collocabile atterra sulla griglia e le lezioni restanti aspettano nell'area di attesa la risoluzione manuale.
- Rigenera alle tue condizioni. Generation scope ricostruisce "Changed groups only" o tutti i gruppi, le lezioni bloccate restano esattamente dove le hai messe, e ogni generazione salva una versione da ripristinare o annullare.
Capacità chiave
Regole rigide che reggono sempre
Docenti, aule e gruppi senza sovrapposizioni; disponibilità e tetti di ore settimanali; pause e turni mensa; lezioni bloccate; dipendenze fine-prima-dell'inizio tra collocazioni; numero esatto di lezioni a settimana; giorni bloccati e vacanze.
13 controlli prima del calcolo
Docenti o aule mancanti, ore settimanali superate, blocchi non validi, sufficienza delle aule rispetto ai gruppi simultanei e altro, ognuno con la collocazione da correggere indicata.
13 cause di infattibilità tipizzate
Un calcolo fallito produce un report classificato, dal sovraccarico di un docente alla violazione di una dipendenza, con azioni suggerite per l'esecuzione invece di un errore nudo.
Collocazione parziale, di proposito
Con l'infattibilità dimostrata, accetti un orario parziale: la griglia tiene tutto il collocabile e le lezioni mai collocate parcheggiano nell'area di attesa, pronte da trascinare in uno slot.
Versioni e ripristino
Ogni generazione salva una versione con un'istantanea immutabile del piano sottostante. Rinominala, ripristinala o annulla l'ultima generazione dal pannello delle versioni.
Durate delle lezioni variabili
Intervalli di 15 minuti e durate da 5 a 480 minuti coprono ore doppie, laboratori e blocchi di giornata intera senza espedienti.
Dove si inserisce
La generazione sta al centro del flusso di lavoro. A monte, il piano decide cosa può fare il risolutore; percorsi individuali mostra come gruppi e studenti singoli danno forma a quel piano. A valle, di rado consegni il primo risultato senza toccarlo: trascina, scambia e blocca nella modifica dell'orario, o chiedi la modifica in linguaggio corrente al Planner assistant. Per il mestiere in sé, le guide all'orario scolastico coprono le decisioni di pianificazione che rendono facile un calcolo, le guide ai vincoli spiegano regole rigide e morbide, e le ricette sui vincoli rispondono a domande precise come ridurre i buchi dei docenti.