New Features
- Finite Fields support in the MCSat Solver
- Yices2 Portfolio Python script
- New cache mechanism in the MCSat Solver: Target cache and Best cache
- New decision heuristics in the MCSat Solver
- Partial restarts option in the MCSat solver
- Print models in the SMT2 format by default
And many bug fixes
Full Changelog: Yices-2.6.5...yices-2.7.0