Page MenuHomeIsabelle/Phabricator
Create Task
Maniphest T25

Update component for veriT
Closed, ResolvedPublic
Actions

Description

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

Related Objects

Event Timeline

makarius assigned this task to mathias.fleury.Oct 29 2020, 2:21 PM
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.

makarius added a project: provers.Oct 29 2020, 5:18 PM
mathias.fleury closed this task as Resolved.Oct 31 2020, 7:18 AM

The veriT version is sufficient for the next release.