juanmarcosdev/minizinc-or-tools not found