Skip to content
CI

Subsumption and Subsumption Resolution via SAT solving #1327

Sign in to view logs

Subsumption and Subsumption Resolution via SAT solving

Subsumption and Subsumption Resolution via SAT solving #1327

Triggered via pull request April 24, 2024 12:46
@RobCoutelRobCoutel
synchronize #546
robin_c-sat-s-sr-for-master
Status Success
Total duration 14m 46s
Artifacts –

CI.yml

on: pull_request
build
14m 37s
build
Fit to window
Zoom out
Zoom in