Skip to content
CI

prop: cadical: Add clause learner for plugins. #1172

Sign in to view logs

prop: cadical: Add clause learner for plugins.

prop: cadical: Add clause learner for plugins. #1172

Triggered via push August 29, 2024 19:06
@mpreinermpreiner
pushed 9306d3a
cadical-clause-learner
Status Success
Total duration 38m 16s
Artifacts 1

ci.yml

on: push
Matrix: builds
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
documentation
4.83 MB