Universal Systems Simulation via Constraint Hypergraphs with Applications to Digital Twins