Skip to content

btor2aiger: It kinda works? #379

btor2aiger: It kinda works?

btor2aiger: It kinda works? #379

Triggered via push March 9, 2024 04:17
Status Success
Total duration 4m 52s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in