diff --git a/src/api/java/Solver.java b/src/api/java/Solver.java
index ac7f8434d..7711adb36 100644
--- a/src/api/java/Solver.java
+++ b/src/api/java/Solver.java
@@ -107,6 +107,16 @@ public class Solver extends Z3Object {
         Native.solverReset(getContext().nCtx(), getNativeObject());
     }
 
+    /**
+     * Interrupt the execution of the solver object.
+     * Remarks: This ensures that the interrupt applies only
+     * to the given solver object and it applies only if it is running.
+     **/
+    public void interrupt()
+    {
+        Native.solverInterrupt(getContext().nCtx(), getNativeObject());
+    }
+
     /**
      * Assert a multiple constraints into the solver.
      *