Solvers not available

[lgrandi]

Hi,

I installed Numberjack on Ubuntu and everything went well with no errors. But when I try to access solvers from python it seems none is available. See below

% python -i             
Python 3.9.12 (main, Jun  1 2022, 06:34:44) 
[Clang 12.0.0 ] :: Anaconda, Inc. on darwin
Type "help", "copyright", "credits" or "license" for more information.
>>> import Numberjack
>>> Numberjack.solvers.available_solvers()
[]

Do you have ideas of what the issue might be?
Thanks
L