Add minizinc

This commit is contained in:
larstvei 2023-06-23 15:09:02 +02:00
parent 34774a0c7c
commit be71dc4df6

View File

@ -48,6 +48,7 @@
jq
leiningen
maude-mac
minizinc
nixpkgs-fmt
pandoc
parallel