Skip to content
CaDiCaL

fix: remove zlib dependency from minisat and glucose #32

Sign in to view logs

fix: remove zlib dependency from minisat and glucose

fix: remove zlib dependency from minisat and glucose #32

Triggered via push February 22, 2024 14:09
@chrjabschrjabs
pushed e5783d7
main
Status Success
Total duration 3m 51s
Artifacts –

cadical.yml

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