Page MenuHomeIsabelle/Phabricator

Update component for veriT
Closed, ResolvedPublic


Update/include component for veriT SAT solver by default, with usual multiplatform support.

Event Timeline

makarius triaged this task as Normal priority.
makarius created this task.

Isabelle/e4d707eb7d1b already includes fairly stable Isabelle/ML tool setup and component.

Is this already sufficient for the Isabelle2021 release? If so this task can be closed.

The veriT version is sufficient for the next release.