Skip to content
CI

use count_models() in sharpsat benchmarks #58

Sign in to view logs

use count_models() in sharpsat benchmarks

use count_models() in sharpsat benchmarks #58

Triggered via push December 13, 2023 14:03
@ApfelbeetApfelbeet
pushed f536f3f
feature/sharp-sat
Status Success
Total duration 5m 21s
Artifacts –

ci.yml

on: push
Matrix: testing
clippy
16s
clippy
deny
8s
deny
check-formatting
12s
check-formatting
Test Coverage
1m 7s
Test Coverage
Fit to window
Zoom out
Zoom in