Enables solving constraint satisfaction and optimization problems using MiniZinc models via a single tool.