installation

You can install geometor.divine using pip:

pip install geometor-divine
          

or clone this repo and install it directly.

git clone https://github.com/geometor/divine
          cd divine
          pip install -e .