Diffusion Isabelle f8fb4384180e

provide cvc5-1.1.1 for testing --- still inactive;
f8fb4384180e
Actions

Tags

None

Subscribers

None

Description

provide cvc5-1.1.1 for testing --- still inactive;

Details

Provenance

Authored on

Parents

rISABELLEa861b0df74b4: rebuild bash_process executables on current reference platforms, including…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf8fb4384180e: provide cvc5-1.1.1 for testing --- still inactive;.Feb 29 2024, 10:52 PM

Changes (2)

Path

Size

Admin/

components/

components.sha1

src/

Pure/

Admin/

component_cvc5.scala

rISABELLEf8fb4384180e

Admin/components/components.sha1

Loading...

src/Pure/Admin/component_cvc5.scala

Loading...