Dekker1/dekker.one
1
0
Fork 0
Code Issues Pull Requests Activity

Fix typo

Browse Source
This commit is contained in:
Jip J. Dekker 2023-11-28 22:54:30 +11:00
parent 1b489154e4
commit 21a0a1f2d7
No known key found for this signature in database
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/pages/articles/2022-08-homebrew-minizinc.mdx
View File

@ -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 <file.mzn>`.