BatSat

feat: `is_sat` for `Cnf` and `Assignment` ergonomics #20

Sign in to view logs

Triggered via push July 12, 2024 10:47

chrjabs

next-major

Status Success

Total duration 4m 17s

Artifacts –

batsat.yml

on: push

Matrix: Build and test