search

prove-rs / z3.rs

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

ci: Run tests against homebrew Z3 on macOS. #259

Closed waywardmonkeys closed 10 months ago

waywardmonkeys commented 10 months ago

This is in addition to running them against it on Linux.