It can run using a number of solvers, you can find a list here: http://www.minizinc.org/software.html