Minisat

Implemented an interface to BatSat #231

Sign in to view logs

Re-run triggered July 1, 2024 12:11

chrjabs

#84

nfbruns:feat-batsat-solver

Status Success

Total duration 2m 2s

Artifacts –

minisat.yml

on: pull_request

Matrix: Build and test