MCSat-basierte endliche Feldargumentation im Yices2 SMT Solver

Verbesserung des Yices2 SMT-Solvers für endliche Felder mit MCSat-basierter Argumentation.