Skip to content
Back to pull request #125

experiment: which omega can be replaced by cutsat? #1898

Sign in to view logs

experiment: which omega can be replaced by cutsat?

experiment: which omega can be replaced by cutsat? #1898

Triggered via push November 23, 2025 22:45
@kim-emkim-em
pushed c9818a7
omega_to_cutsat_2
Status Success
Total duration 21s
Artifacts –

pre-commit.yml

on: push
main
18s
main
Fit to window
Zoom out
Zoom in