This repository was archived by the owner on Feb 9, 2023. It is now read-only.

Update README.md#17

Open

bk202 wants to merge 1 commit intoMiniZinc:developfrom

bk202:develop

Commits on Nov 25, 2019

Update README.md
bk202
authored

⚡