We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 285768a commit c900271Copy full SHA for c900271
src/optimize.jl
@@ -7,9 +7,7 @@ Chuffed() = joinpath(Chuffed_jll.artifact_dir, "chuffed.msc")
7
8
function run_flatzinc(solver_cmd::F, filename, args = String[]) where {F}
9
try
10
- solver_cmd() do exe
11
- return String(read(`$exe $(vcat(args, filename))`))
12
- end
+ return String(read(`$(solver_cmd()) $(vcat(args, filename))`))
13
catch
14
return ""
15
end
@@ -58,7 +56,7 @@ function _minizinc_exe(f::F) where {F}
58
56
return f(joinpath(user_dir, "minizinc"))
59
57
60
elseif Sys.islinux() || Sys.isapple()
61
- return MiniZinc_jll.minizinc(f)
+ return f(MiniZinc_jll.minizinc())
62
63
return error(
64
"Unable to call libminizinc. Please manually install a copy and set " *
0 commit comments