Repository info

z3

• Summary: a summary of z3
• Description: The Z3 Theorem Prover
• Stars: 11185
• Number of forks: 1542