cda-tum / setup-z3

Set up a specific version of the Z3 theorem prover
12Updated this week

Related projects

Alternatives and complementary repositories for setup-z3