해당 문제는 netcat으로 접속하여 제공되는 S/W를 이용하는 방식의 챌린지이며, 힌트로는 smt slover가 제공된다 SMT(Satisfiability Modulo Theories) : 술어논리 기반의 논리식(방정식을 포함하는 개념) SMT solver : SMT를 풀어 정답을 도출하는 S/W 중근(Multiple root) : 2차 이상의 방정식에서, 2개 이상의 같은 값인, 중복되는 근(해) netcat을 이용해 해당 주소 및 포트로 접속하면 다음과 같은 화면이 뜬다. 제한시간은 500초이고 300문제를 풀게되면 쉘을 획득할 수 있게 된다, 코딩을 이용해 문제를 풀어보자. SMT solver 파이썬 모듈인 sympy를 사용할 것이며, 해당 모듈은 중근 존재 여부를 확인해주지 않으므로 코딩 중 별..
