Skip to content
Minisat

SAT solver output parser #121

Sign in to view logs

SAT solver output parser

SAT solver output parser #121

Re-run triggered April 17, 2024 12:54
@chrjabschrjabs
#86
atimaly:main
Status Success
Total duration 2m 30s
Artifacts –

minisat.yml

on: pull_request
Matrix: Build and test
Fit to window
Zoom out
Zoom in