BatSat

refactor: use bindgen to generate solver bindings #17

Sign in to view logs

Triggered via push July 11, 2024 13:07

chrjabs

next-major

Status Success

Total duration 2m 33s

Artifacts –

batsat.yml

on: push

Matrix: Build and test