Skip to content
Build and Test Project

added cvc5 solver preference #37

Sign in to view logs

added cvc5 solver preference

added cvc5 solver preference #37

Triggered via pull request January 28, 2025 18:20
@iamundsoniamundson
opened #144
cvc5-support
Status Success
Total duration 8m 47s
Artifacts –

build_and_test.yml

on: pull_request
verify
8m 37s
verify
Fit to window
Zoom out
Zoom in