[z3-five] Dependencies

[Martijn Faassen]

Sidnei da Silva wrote:
> What's our dependency on Z3 again? I think the last time I checked,
> beta3 was required, but may also be b3+. Anyone can confirm?

For the time being, let's require latest release beta for our 
development version. That's beta 4 now. Testing with older releases at 
this stage is in my opinion wasted effort.

We may even run ahead of a Z3 release for a bit once every while, as 
long as *our* next release will be after the next release of Z3. For the 
time being though, let's stick with beta4, as we can't be sure there'll 
be a Z3 release before we want to do our Five 0.2 release.

Regards,

Martijn