[Question][Hw6] z3 tutorial link is dead #387

Closed Unanswered

sjoon2455 asked this question in Q&A

sjoon2455
Dec 4, 2021

Hi,

A link to z3 tutorial(https://rise4fun.com/z3/tutorial) is not alive.

Could you please check this out?

Replies: 2 comments

ShinWonho
Dec 4, 2021

Hi, I hope the link below will be helpful to you.

Z3Prover/z3#5472

0 replies

sjoon2455
Dec 6, 2021
Author

@ShinWonho Thanks!

0 replies

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment