From 2c56a1e3766b2f99ea1e8f650784e5b4487e3929 Mon Sep 17 00:00:00 2001 From: Oscar Dowson Date: Thu, 29 May 2025 07:32:49 +1200 Subject: [PATCH] Clarify ORTools_jll requires Linux --- README.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 9bf1927..c4dea35 100644 --- a/README.md +++ b/README.md @@ -123,7 +123,11 @@ optimize!(model) @show value.(x) ``` -In order to use the CP-SAT solver from ORTools, use +### CP-SAT + +**`ORTools_jll` currently requires Linux** + +In order to use the CP-SAT solver from ORTools, use: ```julia import ORTools_jll path = joinpath(ORTools_jll.artifact_dir, "share", "minizinc", "solvers", "cp-sat.msc")