renaming bbsolve -> bbsolver