C-API

Implemented an interface to BatSat #139

Sign in to view logs

Re-run triggered July 1, 2024 12:11

chrjabs

#84

nfbruns:feat-batsat-solver

Status Success

Total duration 2m 19s

Artifacts –

capi.yml

on: pull_request

Ensure C-API crate version is in sync

Test generated C header

Matrix: Build and test