Update/include component for veriT SAT solver by default, with usual multiplatform support.
Description
Description
Related Objects
Related Objects
Event Timeline
Comment Actions
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.