Follow recent development / stable release of the important Z3 project, with current multi-platform support.
This probably requires significant changes of the Isabelle/SMT setup.
Follow recent development / stable release of the important Z3 project, with current multi-platform support.
This probably requires significant changes of the Isabelle/SMT setup.
Not yet for the Isabelle2021 release, unless someone does it very quickly and thoroughly during 01-Nov-2020..15-Dec-2020.