https://bitbucket.org/ofercoq/cd_solver/src/master/ PR there in progress to be able to pip install it