Minion (solver)

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)

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]

• Github Repository

This artificial intelligence-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e