Skip to content
CaDiCaL

Disable stdout printing from within glucose and minisat #38

Sign in to view logs

Disable stdout printing from within glucose and minisat

Disable stdout printing from within glucose and minisat #38

Triggered via pull request March 26, 2024 08:47
@chrjabschrjabs
synchronize #68
feature/disable-print
Status Success
Total duration 3m 19s
Artifacts –

cadical.yml

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