Skip to content
Run Tests

Detect pseudo-Boolean constraint to simplify them if possible #328

Sign in to view logs

Detect pseudo-Boolean constraint to simplify them if possible

Detect pseudo-Boolean constraint to simplify them if possible #328

Triggered via push March 20, 2025 22:55
@Dekker1Dekker1
pushed be40788
develop
Status Success
Total duration 8m 45s
Artifacts –

test.yml

on: push
benchmarks
8m 40s
clippy
3m 18s
Matrix: test