Skip to content
Tests

CLUI: solverID now gives hint of what type of global-search criterion… #381

Sign in to view logs

CLUI: solverID now gives hint of what type of global-search criterion…

CLUI: solverID now gives hint of what type of global-search criterion… #381

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Tests
2m 12s
2m 12s