[%] 이번 대회는 안 흥하네

[익명(118.32)]

문제가 뭔 원하는지 모르겠다. 조건검사기? solver?

[다믜(damhiya)]

mercury로 푼거 봤는데 그냥 나이브하게 조건만 입력하면 계산이 안되더라. 사람이 직접 대입해서 케이스를 좀 줄여줘야됨

[코딩조무사(circir6174)]

증명언어나 논리형 프로그래밍 빠는사람 꽤 있어서 내봤는데 - dc App

[Riey(rerereq)]

요즘은 한두명을 꽤라고 부르나

[휘발성(reduxx)]

유동적으로 오는 애들 포함하면 5명은 있어보이던데

[코딩조무사(circir6174)]

정작 판깔아주면 안보여 - dc App

[익명(84.17)]

찐힙스터라 그럼