diff options
author | sternenseemann <sternenseemann@systemli.org> | 2022-03-27 00:12:31 +0100 |
---|---|---|
committer | sternenseemann <sternenseemann@systemli.org> | 2022-03-27 01:00:34 +0100 |
commit | f9268040166a01420d396cff7c5fb8b5113a202b (patch) | |
tree | ca363d8236cb34768ee04c3afd2c17c920467ba3 /pkgs/development/python-modules/scmrepo/default.nix | |
parent | 671fd5da513d2a88fde2d7d8e51697e80e421c7c (diff) |
haskellPackages.sbv: provide new solvers for version 8.17
* Newly added are bitwuzla and cvc5 (unpackaged at the moment) * Refactor sed expression disabling solves we don't provide in the test suite. * Stop conditionally disabling z3 solver on aarch64, seems there is no reason for it anymore.
Diffstat (limited to 'pkgs/development/python-modules/scmrepo/default.nix')
0 files changed, 0 insertions, 0 deletions