Yices 2.6.5
New Features:
- Arrays support in the MCSat solver
- MCSat Thread Safety
- New logics: QF_AUFBVLIA, QF_UFBVLIA, QF_BVLRA, QF_AUFBVNIA, QF_UFBVNIA
- Set static variable order in the MCSat solver
- Set initial var order in the MCSat solver
- Parallel make check
- Plugin decision hint queue in the MCSat solver
Many fixes