diff --git a/nix/marlowe-cardano/deploy/operables.nix b/nix/marlowe-cardano/deploy/operables.nix
index cb35269ec6..7410e4da0d 100644
--- a/nix/marlowe-cardano/deploy/operables.nix
+++ b/nix/marlowe-cardano/deploy/operables.nix
@@ -11,6 +11,7 @@ let
     socat
     netcat
     curl
+    z3
     ;
 
   marlowe-chain-indexer = self.packages.ghc8107-marlowe-chain-sync-exe-marlowe-chain-indexer;
@@ -360,6 +361,7 @@ in
 
   marlowe-tx = mkOperableWithProbes {
     package = marlowe-tx;
+    runtimeInputs = [ z3 ];
     runtimeScript = ''
       #################
       # REQUIRED VARS #