There is no installable Python package yet. Just clone the repo or copy all the .py files into a single directory. Tested with Python 3.8.
Run
./csp_solver.py <MODULE>.py
Where <Module>
should be replaced
by the name of the module
that contains the definition of the CSP
to be solved.