Add Z3 package

[wintersteiger]

This adds a package that install the latest Z3 master.

[bronsa]

let's not do this as master is a moving target. can we just use the specific commit sha instead?

[wintersteiger]

Sure, that's easy to add. I was wondering whether it's possible to do both. How does opam decide which version to install by default?

[bronsa]

I propose just using /archive/sha.zip and as version we can use 4.12.3-$(number of commits) -- e.g for 3422f44cea4e73572d1e22d1c483a960ec788771 we'd have 4.12.3-18247 to keep it monotonically increasing

[bronsa]

Sure, that's easy to add. I was wondering whether it's possible to do both. How does opam decide which version to install by default?

I'm not sure it's possible to have master since it would break the checksum as soon as the target moves.

opam uses latest version that satisfies constraints, sorted lexicographically

[wintersteiger]

Yeah, master would have to be without a hash, but I don't expect opam to allow that.

How did you arrive at 4.12.3-18247? There isn't a 4.12.3 release and I get 358 since 4.12.2.

[wintersteiger]

Oh, I get it, total number of commits, I was counting the ones since 4.12.2.

[bronsa]

How did you arrive at 4.12.3-18247? There isn't a 4.12.3 release and I get 358 since 4.12.2.

last released is 4.12.2 so i've just incremented to 4.12.3 to force the opam solver to pick this

Oh, I get it, total number of commits, I was counting the ones since 4.12.2.

yeah it's arbitrary, either would do :)

[wintersteiger]

I changed it to 4.12.2+358 and to my surprise nothing complained about the +!