esbmc-ai installation issue

[Aisha-Sharma]

Hi @Yiannis128 ,While installing esbmc-ai using pip install esbmc-ai, I encountered the following error:
"Error: No $ESBMC_AI_CFG_PATH in environment."
How can I resolve this issue?

One more thing all the below 3 links are taking me on the same esbmc-ai github home page so I could not help myself.
Initial Setup Wiki Page.
Configuration Wiki Page.
Usage Wiki Page.

[Yiannis128]

Hi, I am in the process of updating the docs as they are extremely outdated. The new location is esbmc.github.io/esbmc-ai. They are still outdated, within the next few weeks the new docs will be written which will describe the new architecture much better. Since ESBMC-AI went through a few revisions that have made it much more capable.

Also, regarding the env key, I have fixed this but not released a new version yet, it's now I believe ESBMCAI_CONFIG_FILE.