Skip to content
CaDiCaL

Disable stdout printing from within glucose and minisat #37

Sign in to view logs

Disable stdout printing from within glucose and minisat

Disable stdout printing from within glucose and minisat #37

Triggered via pull request March 26, 2024 08:44
@chrjabschrjabs
opened #68
feature/disable-print
Status Success
Total duration 20m 21s
Artifacts –

cadical.yml

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