Z3

Virtual  |  August 2022

Are you curious about logical reasoning in Computer Science? Have you thought about incorporating logical reasoning into your new or ongoing projects, not knowing where to start or having a global overview? Come learn how to use Z3! Z3 is…