More or less, but it is profoundly computationally intractable even in relatively trivial cases. Trying to do this was one of the earliest use cases for supercomputers. It is genuinely a “boiling the ocean” type problem.

Practical attempts use a lot of heuristics and approximations, which risks fidelity.