Skip to content
Test cvc5

Use a map to store solver params #208

Sign in to view logs

Use a map to store solver params

Use a map to store solver params #208

Triggered via push October 14, 2024 20:16
@filipeomfilipeom
pushed 3468f0f
main
Status Success
Total duration 36m 52s
Artifacts –

test-cvc5.yml

on: push
test-cvc5
36m 40s
test-cvc5
Fit to window
Zoom out
Zoom in