State search library and implementation of the eightpuzzle problem