diff options
| author | Sören Tempel <soeren@soeren-tempel.net> | 2025-09-23 21:41:11 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2025-09-26 21:26:41 +0200 |
| commit | e10da6bff87a56dfcba80b9fef1d0544c7ca3653 (patch) | |
| tree | f7269ad416121cbc661131e7b90179d6cbabdb31 /gnu/tests/web.scm | |
| parent | 67f5f23c88b63f6ff3c13b03a8ea47336fa995a4 (diff) | |
gnu: binsec: Enable support for z3-builtin solver.
This is much faster than an external solver as it doesn't rely on
forking an external solver and instead uses the API provided by
ocaml-z3. This feature was added in binsec release 0.9.1.
* gnu/packages/ocaml.scm (binsec)[propagated-inputs]: Add ocaml-z3.
* gnu/packages/ocaml.scm (binsec)[native-inputs]: Add z3.
Change-Id: I246fd1a13e8c9d6a6764608281a2bea5ac0a054b
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'gnu/tests/web.scm')
0 files changed, 0 insertions, 0 deletions