Add an optional sat requirement for stopping the solver #17

Sign in to view logs

Triggered via pull request August 9, 2024 05:53

Azzaare

opened #129

sat_stop

Status Success

Total duration 14s

Artifacts –

SpellCheck.yml

on: pull_request

Spell Check with Typos