Minion (solver)
From Wikipedia, the free encyclopedia
Software for solving constraint satisfaction problems
This article relies largely or entirely on a single source . Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.
Find sources: "Minion" solver – news · newspapers · books · scholar · JSTOR (December 2013)
Find sources: "Minion" solver – news · newspapers · books · scholar · JSTOR (December 2013)
Minion is a solver for constraint satisfaction problems. Unlike constraint programming toolkits, which expect users to write programs in a traditional programming language like C++, Java or Prolog, Minion takes a text file which specifies the problem, and solves using only this. This makes using Minion much simpler, at the cost of much less customization.
This limitation allows Minion to be many times faster than competing commercial solvers, for example Minion was found to be faster than the major commercial constraint solver, CPLEX (formerly ILOG CPLEX then IBM ILOG).[1]
References
[edit ]- ^ Gent, Ian P.; Jefferson, Chris; Miguel, Ian. "Minion: A Fast, Scalable, Constraint Solver" (PDF).
External links
[edit ]
Stub icon
This artificial intelligence-related article is a stub. You can help Wikipedia by expanding it.