Skip to content
Build Javascript

Allow dynamic selection of the SAT solver with set-option (#880) #1503

Sign in to view logs

Allow dynamic selection of the SAT solver with set-option (#880)

Allow dynamic selection of the SAT solver with set-option (#880) #1503

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile AE with JsoO and test it with NodeJs
11m 25s
11m 25s