Ryan Scott 3b9eafbc91 CI: Update what4-solvers to use Z3 4.8.14 ... The previous `what4-solvers` snapshot used Z3 4.8.10, which is known to cause severe performance regressions with the `negshift` regression test. See #1107. This updates to a more recent `what4-solvers` snapshot that uses Z3 4.8.14 instead, which is known to work more reliably with `negshift`.		2022-01-14 14:48:11 -05:00
..
ci.yml	CI: Update what4-solvers to use Z3 4.8.14	2022-01-14 14:48:11 -05:00