Comment by anentropic

looks potentially interesting but a lot of it is kind of baffling, assumes a lot of familiarity with fairly esoteric topic, not clear where to start

the tutorial page https://www.idp-z3.be/tutorial.html is a bit more enlightening

as is https://interactive-idp.gitlab.io/ learning material

but I didn't find those first, I found the docs first (via the four "learn more" links on the landing page)

and I don't think they are the best starting point

https://docs.idp-z3.be/en/latest/introduction.html

> IDP-Z3 can be installed using the python package ecosystem.

> install python 3, with pip3, making sure that python3 is in the PATH.

> use git to clone https://gitlab.com/krr/IDP-Z3 to a directory on your machine

> (For Linux and MacOS) open a terminal in that directory and run the following command

First thought is... why isn't it published to PyPI?

But then elsewhere https://docs.idp-z3.be/en/latest/IDP-Z3.html

> the idp_engine package available on Pypi.

And looking in the git repo it seems like this is the same package published as https://pypi.org/project/idp-engine/

Why not just say "pip install idp-engine"...?