Skip to content
Check PR title for commit convention

feat: setup Std.Sat with definitions of SAT and CNF #7406

Sign in to view logs

feat: setup Std.Sat with definitions of SAT and CNF

feat: setup Std.Sat with definitions of SAT and CNF #7406

Triggered via pull request August 7, 2024 15:32
@hargoniXhargoniX
synchronize #4933
leansat-sat
Status Success
Total duration 12s
Artifacts –

pr-title.yml

on: pull_request
check-pr-title
4s
check-pr-title
Fit to window
Zoom out
Zoom in