Yices2 SMT Solver의 MCSat 기반 유한체 추론

Yices2 SMT Solver의 MCSat 기반 유한체 추론은 유한체에서 비선형 다항식 시스템을 추론할 수 있는 기능을 도입한다.