Skip to content

updated encoding interface, added maxSAT solver #27

updated encoding interface, added maxSAT solver

updated encoding interface, added maxSAT solver #27

Triggered via push August 29, 2023 09:59
Status Failure
Total duration 27s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

run-tests.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

5 errors
build (3.8)
Process completed with exit code 1.
build (3.7)
The job was canceled because "_3_8" failed.
build (3.7)
Process completed with exit code 1.
build (3.9)
The job was canceled because "_3_8" failed.
build (3.9)
The operation was canceled.