Z3

Virtual  |  2022年8月

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…