Use exact version of Z3 which must be tracked with GIT commits. So if any problem is found it must be related to exact GIT commit.
Use exact version of Z3 which must be tracked with GIT commits. So if any problem is found it must be related to exact GIT commit.

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell