diff options
| -rw-r--r-- | gnu/packages/maths.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index a1c0f8e572..bb6c1648b5 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") |