Yices-2.6.3
Pre-release
Pre-release
This is a release candidate for 2.6.4. It reports itself as 2.6.4, so once we are happy with it we can just call it 2.6.4 without further futzing with the code.
This is a release candidate for 2.6.4. It reports itself as 2.6.4, so once we are happy with it we can just call it 2.6.4 without further futzing with the code.