BatSat

Implemented an interface to BatSat #11

Sign in to view logs

Re-run triggered July 4, 2024 09:45

chrjabs

#84

nfbruns:feat-batsat-solver

Status Success

Total duration 1m 41s

Artifacts –

batsat.yml

on: pull_request

Matrix: Build and test