Z3Prover/z3C++The Z3 Theorem ProverLast commit Jan 22, 20249,468 stars (9,468 stars)1,445 forks (1,445 forks)1 indexed issue (1 indexed issue)1 open good first issue (1 open good first issue)
