Search results
Results From The WOW.Com Content Network
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.