Add lemmas from unsat cores, update filtering, remove debug messages #199
Lipenci.yml
on: push
Build and test on Linux
3m 0s
Build and test on Windows
7m 26s
Rustfmt
7s
Clippy
1m 6s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
DLLs
Expired
|
1.68 MB |
|
|
shared-libs
Expired
|
1.57 MB |
|