Minion (lösare)
Minion är en lösning för problem med tillfredsställelse av begränsningar . Till skillnad från för begränsningsprogrammering , som förväntar sig att användare ska skriva program i ett traditionellt programmeringsspråk som C++ , Java eller Prolog , tar Minion en textfil som specificerar problemet och löser med endast detta. Detta gör det mycket enklare att använda Minion, till priset av mycket mindre anpassning.
Denna begränsning tillåter Minion att vara många gånger snabbare än konkurrerande kommersiella lösare, till exempel visade sig Minion vara snabbare än den stora kommersiella begränsningslösaren, CPLEX (tidigare ILOG CPLEX sedan IBM ILOG).
externa länkar