From 21a0a1f2d739d2957f95f21a083f80d1dbdc774f Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Tue, 28 Nov 2023 22:54:30 +1100 Subject: [PATCH] Fix typo --- src/pages/articles/2022-08-homebrew-minizinc.mdx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pages/articles/2022-08-homebrew-minizinc.mdx b/src/pages/articles/2022-08-homebrew-minizinc.mdx index 2093ef1..a648eab 100644 --- a/src/pages/articles/2022-08-homebrew-minizinc.mdx +++ b/src/pages/articles/2022-08-homebrew-minizinc.mdx @@ -22,7 +22,7 @@ Using different solvers to solve your MiniZinc solvers has improved a lot over t The process now generally consists of installing the right prerequisites, the solver itself, and putting all the MiniZinc files (the library and the solver configuration) in the right place. That being said, this can still be a bit of work (or at least something that is easy to do wrong). -Luckily this problem is the exact problem that package manages already solve. +Luckily this problem is the exact problem that package managers already solve. Although I cannot offer a solution for all devices (let's refrain from having yet another package manager), devices using [Homebrew](https://brew.sh/) can now use my [MiniZinc solver tap](https://github.com/Dekker1/homebrew-minizinc). If you have Homebrew installed, then using the tap to, for example, install Yuck is as simple as running `brew install dekker1/minizinc/yuck`. Once the process is finished “Yuck 20210501” can be immediately used from the MiniZincIDE, or from command line running `minizinc --solver yuck `.