Back to pull request #125

experiment: which `omega` can be replaced by `cutsat` #1990

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build (fork)	0s
Lint style (fork)	0s
Post-Build Step (fork)	0s
Post-CI job (fork)	0s
	0s