Skip to content

Commit fb1f145

Browse files
authored
Clarify ORTools_jll requires Linux (#97)
1 parent 916fe92 commit fb1f145

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

README.md

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -123,7 +123,11 @@ optimize!(model)
123123
@show value.(x)
124124
```
125125

126-
In order to use the CP-SAT solver from ORTools, use
126+
### CP-SAT
127+
128+
**`ORTools_jll` currently requires Linux**
129+
130+
In order to use the CP-SAT solver from ORTools, use:
127131
```julia
128132
import ORTools_jll
129133
path = joinpath(ORTools_jll.artifact_dir, "share", "minizinc", "solvers", "cp-sat.msc")

0 commit comments

Comments
 (0)