| Filename | Latest commit message | Latest commit date |
|---|---|---|
97070fa194
The answer enum added with the per-goal end marker was `Sat`, with a variant `Sat`, which clippy's enum_variant_names flags. The README says proof-rs is clippy-clean on Linux and has two macOS lints, both in proof-cascade's IOReport FFI; renaming the enum keeps that true. Co-Authored-By: Claude Opus 5.5 <[email protected]> |
||
| .. | ||
| crates | ||
| Cargo.lock | ||
| Cargo.toml | ||