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 /maintainers | |
| 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 'maintainers')
0 files changed, 0 insertions, 0 deletions