Minion Een nieuwe beperking opgelost
Download nu

Minion Rangschikking & Samenvatting

Minion Tags

oplosser modellering constraint solver dwang CONSTRAIND MODELING matrixmodellen

Minion Beschrijving

Een nieuwe beperking op solver Minion is een nieuwe beperking-oplosser, 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 tegen de kosten van zowel prestaties als bruikbaarheid. Minion is een zwarte doos uit het oogpunt van de gebruiker,, opzettelijk 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.Minion is nog steeds in de beta-fase van ontwikkeling. Insecten kunnen worden verwacht. We proberen echter insecten snel te fixeren nadat ze zijn gemeld. Wat is er nieuw in deze release: De volgende bugs, die onjuiste antwoorden hadden kunnen hebben geproduceerd, zijn opgelost: · De 'POW'-beperking werd verward door domeinen die' 0 'bevatten. · Gebruik van gehele getallen in de buurt van 2 ^ 32 kan af en toe onjuiste resultaten produceren. De tafelbeperking met 1 tuple over geen variabelen werd als onjuist beschouwd, niet waar. De volgende bugs, die niet onjuiste fouten konden produceren, zijn opgelost: · Arrays bevatten geen variabelen gecrashten minion. · Veel beperkingen gecrashten wanneer ze een lengte van de lengte worden gegeven. Tabelbeperkingen veroorzaakten crashes wanneer de lengte van de tuples niet gelijk is aan het aantal variabelen. De volgende verbeteringen zijn aangebracht aan Minion, waarvan sommige in eerdere versies zijn geweest, maar zijn nu correct gedocumenteerd: · Alle beperkingen kunnen nu opnieuw worden aangeboden. · Een efficiënte methode voor het berekenen van de "of" van een lijst met beperkingen is toegevoegd. · Efficiënte implementaties van AllDIFF en GCC (Global Cardinality Constraint) zijn toegevoegd. · Een aantal andere binaire en unige beperkingen zijn toegevoegd. · Er is nu een rudimentaire visualiser die (in een matrix) de domeinen / opdrachten van variabelen tijdens het zoeken zien. · Het Minion Build-systeem gebruikt nu 'CMAKE'. · De documentatie is verbeterd. Er is ook een groot aantal andere kleine verbeteringen en aanpassingen gemaakt, gebaseerd op een veel grotere geautomatiseerde testsuite. Merk op dat de kleermaker geen deel uitmaakt van de standaardminion-distributie meer; het wordt afzonderlijk vrijgegeven.

Minion Gerelateerde software