What are some fun starting projects if you want to learn Z3? Real-world problems you could solve in a few hours.
I'm doing a mob programming meetup and need some inspiration.
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.