IPASIR

Implemented an interface to BatSat #190

Sign in to view logs

Re-run triggered July 1, 2024 12:11

chrjabs

#84

nfbruns:feat-batsat-solver

Status Success

Total duration 1m 52s

Artifacts –

ipasir.yml

on: pull_request

Matrix: Build