Repository info

z3

• Summary: a summary of z3
• Description: The Z3 Theorem Prover
• Stars: 11303
• Number of forks: 1549