Skip to content
CaDiCaL

MaxSAT algorithm: SIS #769

Sign in to view logs

MaxSAT algorithm: SIS

MaxSAT algorithm: SIS #769

Triggered via pull request March 10, 2025 12:19
@chrjabschrjabs
synchronize #296
sis
Status Success
Total duration 3m 14s
Artifacts –

cadical.yml

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