Minion Snelle en schaalbare beperking-oplosser
Download nu

Minion Rangschikking & Samenvatting

Minion Tags

oplossen oplosser dwang constraint solver lossen constraint contraint oplossing

Minion Beschrijving

Snelle en schaalbare beperking-oplosser Minion, is een nieuwe beperking opgelost, die erg snel en schalen goed is, omdat de probleemgrootte toeneemt. Empirische resultaten op standaardbenchmarks Toon orders van magnitude-prestatie-winst over state-of-the-art beperkingstoolkits. Deze winsten worden verhoogd met probleemgrootte --- Minion levert schaalbare beperking Solving.Minion is een algemene doeleinde-oplosser, met een expressieve invoertaal op basis van de gemeenschappelijke beperkingsmodellering van Matrix-modellen. Focusing op Matrix-modellen ondersteunt een magere, zeer geoptimaliseerde implementatie. Dit contrasteert met huidige beperkingstoolkits, die, om steeds meer modellerende en oplossende opties te bieden, geleidelijk complexer zijn geworden ten koste van zowel prestaties als bruikbaarheid. Minion is een zwarte doos uit het oogpunt van de gebruiker, die opzettelijk met zich meebrengt Zeer weinig opties. Dit, gecombineerd met zijn onbewerkte snelheid, maakt Minion een substantiële stap richting Puget's `Model and Run'-beperking op het oplossen van paradigma. Opmerking: Minion bevindt zich nog in de beta-fase van ontwikkeling. Insecten kunnen worden verwacht. Wat is er nieuw in deze release: Verbeteringen: · De code werd opgeruimd en gemodulariseerd om gemakkelijker te begrijpen en te modificeerbaarder · Meer informatie wordt beschikbaar in de Info-modus · Enkele kleine bugfixes Prestatieverbeteringen: · Gebonden cheques voor Booleaanse variabelen zijn efficiënter · Invoerbestanden worden sneller geparseerd Andere wijzigingen: · Het build-systeem levert nu doelen om de tests uit te voeren · Builds worden niet meer gedaan in het hoofddircotry, maar in een aparte map (wat betekent dat u zoveel verschillende builds van dezelfde bron kunt hebben als u wilt) · Betere Cygwin-ondersteuning

Minion Gerelateerde software