Algorithms for constrained molecular dynamics | Synapse