How can I know the version of a library in Google Colab? Trying it for Z3

Question

I know I can manually install a concrete version of a library in Google Colab (see When I install older version of scikit-learn in Google Colab, it still import the newest version).

However, how can I know which version of a library I am using? I am trying to know which version of Z3 I am using.

I tested the following:

pip install z3-solver
import z3
z3 -version

But I get the following error: name 'version' is not defined

In my (Unix) machine, it suffices to ask: z3 -version (see Z3 -smt2 -in: Get Z3 version)

This question is extensible to any library.

olirwin · Accepted Answer · 2022-02-16T15:03:37.333

2

You should use the dunder notation

z3.__version__

EDIT - for pip package z3-solver

you should use

import z3
z3.get_version_string()

as seen here

edited Feb 16 '22 at 15:03

answered Feb 16 '22 at 14:56

olirwin

545
5
21

Hi, thanks for the answer! I tested that and received the error: `module 'z3' has no attribute '__version__'` – Theo Deep Feb 16 '22 at 14:57
1

Indeed, it seems it does not follow conventionnal module dunder – olirwin Feb 16 '22 at 15:00
It worked! Thanks a lot! So, for asking versions, there is no general method for Colab, but specific methods for each library. – Theo Deep Feb 16 '22 at 15:04

score 0 · Answer 2 · answered Feb 16 '22 at 15:00

0

I am trying to know which version of Z3 I am using.(...)This question is extensible to any library.

Then do not rely on library to report that, but pip. You might simply instruct pip to list all installed modules and find version of interesting one, that is

pip install z3-solver
pip list

answered Feb 16 '22 at 15:00

Daweo

31,313
3
12
25

Thanks for answering! However, with this, I get the error: `invalid syntax` – Theo Deep Feb 16 '22 at 15:04
you need to add ! in front of pip – Hom Bahrani Oct 19 '22 at 11:04

How can I know the version of a library in Google Colab? Trying it for Z3

2 Answers2