RustSAT Tools

Certified encodings for proof logging #662

Sign in to view logs

Triggered via pull request February 7, 2025 09:52

chrjabs

synchronize #248

proof-logging

Status Success

Total duration 5m 10s

Artifacts –

tools.yml

on: pull_request

Matrix: Build and test