CTFs
Upcoming
Archive
Past events
Tasks
Writeups
Calendar
Teams
Rating
Compare
Create new team
Get team members
FAQ
Contact us
For organizers
Feedback
About
Sign in
Home
/
CTF events
/
TJCTF 2020
/
Tasks
/
Comprehensive 2
/
Writeup
Comprehensive 2
by
hongwei123
/
_SKR
Tags:
python
z3
reverse
Rating:
Solve it using Z3 SAT solver
Original writeup
(https://github.com/Hong5489/TJCTF2020/tree/master/comprehensive2).
Comments
x
Sign in with
I don't remember