diff --git a/modules/home.nix b/modules/home.nix
index 06dad61..57fb678 100644
--- a/modules/home.nix
+++ b/modules/home.nix
@@ -48,6 +48,7 @@
     jq
     leiningen
     maude-mac
+    minizinc
     nixpkgs-fmt
     pandoc
     parallel