bdd_satmin
and bdd_satmax
with set of variables
#896
benchmark.yml
on: pull_request
Skip Job?
5s
Matrix: run_dummy
Matrix: run_picotrav
Matrix: run_qbf
Matrix: run_queens
Annotations
22 errors and 11 warnings