After pip install of Numberjack on mac os, the solvers (such as Mistral) are not compiled and can\'t be imported in python.
When I run make myself there
make