Change SAT2KSATInfo to be synonym of TseitinInfo #507
build.yaml
on: pull_request
Matrix: build
github-release
0s
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 |
|