Minion — solver for constraint satisfaction problems