Hi! I ask you for help to deal with a problem with the linsolve command.
The expression I write is simplified: the presence of the input_form() is linked to the fact that linsolve is iterated within a for loop and therefore I have to adapt the arguments of the command linsolve to the presence of the cyclic variable, which for this example I have removed. 
The following command works in the cadabra cloud version 
import cdb.sympy.solvers as solv
I := 0 = a + b + 13;
II := 0 = b + 2*a - 34;
sols=solv.linsolve(Ex(str(I.input_form())+r','+str(II.input_form())),Ex(r'a'+r',b'));
sols[0][0];
sols[0][1];
but never works using the github one, giving the error:
AttributeError: module 'sympy' has no attribute 'linsolve'
At:
/home/ubuntu-mate/.config/cadabra_packages/cdb/sympy/solvers.py(35):
linsolve
/home/ubuntu-mate/.config/cadabra_packages/cdb/sympy/solvers.py(49):
   (222):
_call_with_frames_removed   (665): exec_module   (673): _load_unlocked   (958): _find_and_load_unlocked   (969): _find_and_load   (2): 
Thanks,
Mattia