diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index a1c0f8e572e..bb6c1648b53 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -7672,7 +7672,8 @@ find_package(louvain_communities)")
                   (substitute* (find-files "." "\\.c$")
                     (("\"btor2parser/btor2parser\\.h\"") "<btor2parser.h>")))))))
    (inputs (list btor2tools
-                 boost cryptominisat louvain-community sqlite))
+                 boost cryptominisat louvain-community sqlite
+                 gmp))
    (native-inputs (list googletest pkg-config python-wrapper))
    (home-page "https://boolector.github.io")
    (synopsis "Bitvector-based theory solver")