Closed Gonzalo-Mier closed 3 months ago
First, try to find ortools on ortools_vendor, then on the system. If it is not found, then download the tarball release and install it. If flags are used, those are prioritized.
First, try to find ortools on ortools_vendor, then on the system. If it is not found, then download the tarball release and install it. If flags are used, those are prioritized.