Skip to content
Back to pull request #185

Binary adder PB encoding #411

Sign in to view logs

Binary adder PB encoding

Binary adder PB encoding #411

Triggered via pull request November 27, 2024 13:14
@chrjabschrjabs
synchronize #185
binary-adder
Status Success
Total duration 2m 1s
Artifacts –

kissat.yml

on: pull_request
Matrix: Build and test
Fit to window
Zoom out
Zoom in