Jacop. Biblioteca facile da usare che fornisce la tecnologia di programmazione vincoli
Scarica ora

Jacop. Classifica e riepilogo

Jacop. Tag

Biblioteca Biblioteca Java. Componente sviluppare Componente Java. Libreria di programmazione sviluppatore Java lista vincolo costrizione vincolo di pitch. Programmazione dei vincoli Libreria vincolara. Programmazione facile Lingua del vincolo dell'oggetto. Risolutore di vincoli Integer vincolante Software di gestione dei vincoli

Jacop. Descrizione

Jacop è una componente basata su Java che aiuterà gli sviluppatori nel loro lavoro. Se sei un ricercatore, troverai che Jacop è uno strumento facile da usare, facile da estendere per adattarsi alle tue particolari esigenze, oltre a essere abbastanza efficienti per risolvere effettivamente grandi problemi con l'aiuto di Jacop. Jacop è stato utilizzato per la ricerca che applica solo la tecnologia CP e per la ricerca all'interno del campo CP stesso. Se lo strumento come Jacop fosse disponibile al momento del mio dottorato, avrei fatto il mio dottorato 1-2 anni prima. Dovresti usare gli strumenti disponibili a tuo vantaggio. Se stai lavorando su un aspetto importante della tecnologia CP, potremmo persino dedicare il nostro tempo libero per aiutarti a implementare la funzionalità in Jacop, quindi manteniamo lo stato dell'arte del Jacop. Se sei ingegnere del software che scrive un software, troverai che Jacop come qualsiasi solver di programmazione vincoli ti fornisca la possibilità di modellare il problema e valutare il numero di approcci di ricerca diversi per trovarne un efficiente. Utilizzare la ricchezza della conoscenza codificata all'interno dei vincoli per aumentare il ragionamento / risolvere il potere della soluzione software. Ci sono il numero di persone che possono agire come consulenti per aiutarti a applicare la tecnologia CP sotto forma di Jacop all'interno del tuo progetto. Sentiti libero di pubblicizzare le tue esigenze per ottenere aiuto su Jacoptwiki. Jacop fornisce un numero significativo di vincoli per facilitare la modellazione e il design modulare di ricerca per facilitare la sartoria della ricerca alle caratteristiche del problema. Attualmente è più di 60.000 linee di codice, esclusi esempi e codice di prova. Ci sono più di 20.000 righe di codice che spiegano come modellare e risolvere diversi problemi. Abbiamo lavorato su Jacop per gli ultimi 8 anni durante il nostro tempo libero come attività di hobby. È stato refalato, trasformato, migliorato molte volte. Le versioni iniziali di Jacop erano molto probabilmente anche 3 ordini di grandezza più lenta della versione corrente. Jacop offre una grande libreria di esempi e un'ampia documentazione API Java. Abbiamo casi di utilizzo di Jacop da parte dei giovani all'età della scuola superiore. La tecnologia CP non è facile da usare, quindi almeno abbiamo cercato di utilizzare Jacop come potevamo. Sentiti libero di aiutarci a rendere Jacop ancora più facile / intuitivo da usare. Vi preghiamo di inviarci i tuoi esempi, li restituiamo se necessario e includerlo con altri esempi. La creazione di un risolutore è un processo, al momento avviato siamo stati solo gli utenti dei principianti frustrati della tecnologia CP che stavano lottando con i solvisti di fonte chiusi per applicare la tecnologia CP in modo efficiente. Abbiamo imparato una grande quantità di ingegneria CP e software durante questi anni. Lo sviluppo di Jacop è stato guidato da tre priorità - facilità d'uso, facilità di manutenzione e efficienza. Ci sono un numero di risolutori disponibili, ognuno è speciale e ognuno di essi può essere utile. Qui, hai un'altra scelta tra cui scegliere. Ogni risolutore è diverso in quanto le applicazioni del risolutore impongono requisiti diversi e rendono possibile alcune ottimizzazioni. Jacop facilita le aggiunte vincoli durante la ricerca e il controllo esteso sul comportamento interno del risolutore. Quasi ogni aspetto del risolutore può essere modificato. È necessario se un risolutore deve essere usato nella ricerca quando le cose piccole importano e possono far funzionare la tua tecnica molto più lenta. Tutte le strutture di dati sono disponibili per la manipolazione che implementa l'implementazione di euristiche di ricerca speciali possibili. È anche possibile implementare i vincoli degli utenti con funzioni aggiuntive, che possono essere utilizzate in seguito durante la ricerca. Gli autori si sforzano di raggiungere il giusto equilibrio, tra facilità d'uso, facilità di estensione e efficienza. Jacop supporta anche ed estende anche il formato XCSP per il salvataggio dell'SCSP in formato XML. Jacop è continuamente in fase di sviluppo. È compatibile con raramente completamente all'indietro, poiché non vengono aggiunti solo nuovi vincoli, ma anche gli interni del motore vengono migliorati. Gli autori si sono concentrati sulla funzionalità centrale dei vincoli, quindi non è ancora disponibile un'interfaccia grafica, che aiuterà nel debug dei programmi. Ci sono molti esempi, una breve documentazione Guida e Java Doc, ma gli autori vorrebbero avere più tempo per creare una documentazione più elaborata. Ci sono molti altri strumenti di costrizione che sono stati implementati dall'inizio del Jacop. Ogni sistema è diverso mentre commerciano l'estensione, la funzionalità, la facilità di sviluppo per l'efficienza in un modo diverso. Ci sono strumenti che sacrificano tutto per efficienza, altri strumenti che scelgono C ++ su Java per evitare i costi associati all'esecuzione di programmi Java. I nostri esperimenti indicano che Jacop è un ottimo risolutore Java, ma è più lento del buon risolutore basato su C ++. Se stai cercando facile da usare, facile da mantenere, facile da estendere ed efficiente il risolutore scritto in Java, allora Jacop è un must provare per te.

Jacop. Software correlato