Skip to content

Change SAT2KSATInfo to be synonym of TseitinInfo #507

Change SAT2KSATInfo to be synonym of TseitinInfo

Change SAT2KSATInfo to be synonym of TseitinInfo #507

Triggered via pull request November 17, 2024 12:34
Status Success
Total duration 15m 10s
Artifacts 5

build.yaml

on: pull_request
Matrix: build
github-release
0s
github-release
Fit to window
Zoom out
Zoom in

Annotations

110 warnings

Artifacts

Produced during runtime
Name Size
binary-packages-linux-x86_64
20.1 MB
binary-packages-macos-aarch64
66.1 MB
binary-packages-macos-x86_64
7.13 MB
binary-packages-win32
28.6 MB
binary-packages-win64
18.8 MB