Page MenuHomeIsabelle/Phabricator

Update component for Z3
Open, NormalPublic


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.

Event Timeline

makarius created this task.

Not yet for the Isabelle2021 release, unless someone does it very quickly and thoroughly during 01-Nov-2020..15-Dec-2020.

makarius lowered the priority of this task from High to Normal.Oct 29 2020, 2:45 PM