search

prove-rs / z3.rs

Rust bindings for the Z3 solver.
337 stars 105 forks source link

ci: macos-latest is Apple Silicon, use correct vcpkg triple. #293

Closed waywardmonkeys closed 3 months ago