I haven’t looked into VGo in great detail—my goal was explicitly to implement the same behavior as the existing solver but better—but yes, my understanding is that it limits the scope and functionality of version solving to a problem that’s no longer NP-hard.