State estimation for linear and non-linear equality-constrained systems | Synapse