getdtk/ai-reasoner repository overview

⁠ai-reasoner

⁠Python

Go to z3/python/z3 and do:

pip install -r requirements.txt

Starting up the server:

python app.py