TY - RPRT TI - modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring AU - Izudin Dzafic AU - Rabih A. Jabr PY - 2025 UR - https://arxiv.org/abs/2508.17882 ID - 2508.17882 ER -