@bjornernikolaj : Are you curious about SMT solvers? Want to learn about Z3, a state-of-the-art SMT solver, and run Z3 programs *in your browser*? We are excited to host the first online Z3 learning workshop with research interns @rlisahuang and @Ayana_Monr on August 24. microsoft.com/en-us/research… • TwiCopy

Nikolaj Bjorner

@bjornernikolaj

+ Follow

ID: 1017129103990722561

calendar_today11-07-2018 19:30:50

1,1K Tweet

1,1K Takipçi

317 Takip Edilen

Nikolaj Bjorner

@bjornernikolaj

3 years ago

Are you curious about SMT solvers? Want to learn about Z3, a state-of-the-art SMT solver, and run Z3 programs *in your browser*? We are excited to host the first online Z3 learning workshop with research interns R. Lisa Huang and Ayana M on August 24. microsoft.com/en-us/research…

thumb_up_off_alt246

chat_bubble_outline2

repeat61

shareShare