improve sharpsat solver #57

Sign in to view logs

Triggered via push December 13, 2023 13:21

Apfelbeet

feature/sharp-sat

Status Success

Total duration 3m 47s

Artifacts –

ci.yml

on: push

Matrix: testing

check-formatting