Minion. Risolvi di vincoli rapidi e scalabili
Scarica ora

Minion. Classifica e riepilogo

Minion. Tag

risolvere risolutore costrizione risolutore di vincoli Risolvi vincoli Soluzione della contrasto

Minion. Descrizione

Risolutore vincolo veloce e scalabile Il minion, è un nuovo risolutore vincolo, che è molto veloce e scale come aumenti delle dimensioni del problema. I risultati empirici sui benchmark standard mostrano gli ordini di prestazioni di grandezza guadagni su toolkit di vincoli all'avanguardia. Questi guadagni aumentano con le dimensioni del problema --- minion fornisce solving di vincoli scalabili. Minion è un risolutore di vincoli generici, con un linguaggio di ingresso espressivo in base al dispositivo di modellazione del vincolo comune dei modelli di matrix. Focusing on Matrix Models supporta un'implementazione magra e ottimizzata. Questo contrasta con attuali toolkit di vincoli, che, al fine di fornire opzioni sempre più modellative e di problem, sono diventate progressivamente più complesse al costo di prestazioni e usabilità. Minion è una scatola nera dal punto di vista dell'utente, che viene fornito deliberatamente Pochissime opzioni. Questo, combinato con la sua velocità cruda, rende il minion un passo consistente nei confronti del paradigma del "modello e del modello di PUGET" che risolve il paradigma. Nota: il minion è ancora nella fase beta dello sviluppo. I bug possono essere previsti. Cosa c'è di nuovo in questa versione: Miglioramenti: · Il codice è stato ripulito e modularato per essere più facilmente comprensibile e modificabile · Ulteriori informazioni sono rese disponibili in modalità info · Alcuni bugfix minori Miglioramenti delle prestazioni: · I controlli rilegati per le variabili booleane sono più efficienti · I file di input sono analizzati più velocemente Altre modifiche: · Il sistema di build ora fornisce i bersagli per eseguire i test · Le build non vengono eseguite nella directory principale, ma in una directory separata (il che significa che puoi avere tante diverse build della stessa fonte che ti piace) · Migliore supporto cygwin

Minion. Software correlato