Tag: z3 - V1ct0r的博客

「 RE 」 January 03, 2020

Words count 4.6k Reading time 4 mins.

这题当时在算时，解出来的精度不够，所以一直提交writeup不正确，当时觉得很可惜哎，工具没找对~后来看了大佬的writeup，果然时精度的问题，他说手动调试那个值，直到精确为止，于...

Read article