Skip to content
Tests

Experimental 3SAT solver #8

Sign in to view logs

Experimental 3SAT solver

Experimental 3SAT solver #8

Triggered via pull request September 10, 2024 09:40
@YoricYoric
synchronize #2
yoric/3sat
Status Success
Total duration 51s
Artifacts –

rust.yaml

on: pull_request
cargo test
40s
cargo test
cargo fmt
16s
cargo fmt
Fit to window
Zoom out
Zoom in