Scip- PROGRAMMI INTERVI DI VENTIVO DI RISOLUZIONE
Scarica ora

Scip- Classifica e riepilogo

Scip- Tag

numero intero risolutore Struttura soluzione lista vincolo vincolo SharePoint costrizione vincolo di pitch. Descrivi Integer integer Converter Sequenza intera Libreria integer Aritmetico intero Impilatore intero FIFO. Programmazione dei vincoli Libreria vincolara. Numero intero Calcolo intero Modifica Integer Integer universale Converti intero in testo Vettore intero Lingua del vincolo dell'oggetto. Risolutore di vincoli creatore intero Solver di programmazione integer quadro di programmazione intera Integer vincolante Programmazione integer Programmazione lineare integer Integer lineare Precisione intera Integer arbitrario di precisione IP in numero intero Integer a IP. Calcolatrice integer Maniglia Intero senza segno Integer non firmato Char Per Integer Software di gestione dei vincoli

Scip- Descrizione

Scip è attualmente uno dei risolutore di programmazione integro misto non commerciale più veloce. È anche un quadro per la programmazione interastante dei vincoli e il taglio-e il prezzo del ramo. Permette il controllo totale del processo di soluzione e l'accesso delle informazioni dettagliate fino al budello del risolutore. Dare Scipita a cercare di vedere come ti aiuterà a risolvere i problemi di programmazione integer. Caratteristiche principali: È un quadro per ramificazione, taglio, prezzi e propagazione. È altamente flessibile attraverso molti possibili plugin utente: Ganalatori per implementazione per implementare vincoli arbitrari, Price variabili per creare dinamicamente variabili problematiche, Propagatori di dominio per applicare propagazioni indipendenti vincoli sui domini delle variabili, Taglia i separatori per applicare aerei da taglio sul rilassamento LP, Rilassatori per fornire relax e doppi limiti oltre al relax LP, Euristica Primale per cercare soluzioni fattibili con supporto specifico per il sondaggio e le immersioni, Selettori nodo per guidare la ricerca, Regole di ramificazione per dividere il problema in sottoproblemi, presonders per semplificare il problema risolto, I lettori di file per analizzare diversi formati di file di input, I gestori di eventi da informare su eventi specifici, ad es., dopo che un nodo è stato risolto, una variabile specifica cambia i suoi limiti, o viene trovata una nuova soluzione primordiale, Visualizza i gestori per creare colonne aggiuntive nell'output del risolutore. Ganalatori di dialogo per estendere il guscio di comando incluso. Ogni unità esistente è implementata come plug-in, che porta a un'interfaccia abbastanza flessibile per soddisfare le esigenze della maggior parte delle estensioni utente aggiuntive. È inclusa una gestione dinamica del pool di taglio. L'utente può mischiare variabili problematiche pre-elaborate e attive nelle espressioni: vengono automaticamente trasformate per corrispondenti variabili di problemi attivi. Arbitrariamente molti bambini per nodo possono essere creati ei diversi bambini possono essere definiti arbitrariamente. Ha un supporto Open LP Solver. Attualmente supporta: clex Gurobi xpress-mp Mosek Soplex qsopt CLP. La necessità rilassamento LP non essere risolto a ogni singolo nodo (può anche essere disattivato completamente, mimicing un puro programmazione risolutore di vincoli). rilassamenti addizionali (ad esempio, rilassamenti semidefinite o rilassamenti lagrangiani) possono essere incluse, lavorando in parallelo o intercalati. analisi dei conflitti può essere applicato a imparare da sottoproblemi irrealizzabili. gestione della memoria dinamica riduce il numero di chiamate di sistema funzionamento con rilevamento automatico perdita di memoria in modalità di debug.

Scip- Software correlato