adding solver testing functionality