GitHub repository: simon-something/rust-z3-examples
Primary language: Rust
Created: 2024-12-10T22:04:38Z
Description: Random sat/unsat problem solved with z3 using Rust, for fun