Closed sillydan1 closed 1 year ago
This PR fixes #13 by using a direct link to the z3 release
It also fixes #15
This PR fixes #13 by using a direct link to the z3 release
It also fixes #15