La libreria di scheduling PyCSP3 aggiunge 53 vincoli per modelli di scheduling
La nuova libreria di scheduling PyCSP³ aggiunge funzionalità interessanti a PyCSP³, come variabili di intervallo, variabili di sequenza e funzioni di risorsa. Include 53 vincoli unici e 27 espressioni, tutti trasformati in vincoli standard PyCSP³/XCSP³, mantenendo separati modellazione e risoluzione. Questa libreria colma la mancanza di opzioni di scheduling integrate in PyCSP³, che in precedenza dipendeva da variabili intere di base e vincoli manuali. I test hanno coinvolto 261 istanze accoppiate provenienti da 17 diverse famiglie di modelli, ciascuna eseguita 5 volte, e i risultati corrispondevano perfettamente, dimostrandone l'affidabilità. È progettata specificamente per problemi complessi con vincoli e può anche esportare in formato XCSP³.
Fatti principali
- PyCSP³ Scheduling aggiunge 53 vincoli e 27 espressioni per lo scheduling.
- Supporta variabili di intervallo, variabili di sequenza e funzioni di risorsa.
- La libreria compila in vincoli standard PyCSP³/XCSP³.
- Mantiene la separazione tra modellazione e risoluzione di PyCSP³.
- In precedenza, i modelli di scheduling richiedevano variabili intere di basso livello.
- Testata su 261 istanze accoppiate in 17 famiglie di modelli.
- Ogni istanza è stata eseguita 5 volte; entrambe le formulazioni producono risultati identici.
- La libreria è presentata in arXiv:2605.14559v1.
Entità
—