Designing a library for constraint driven dynamics in the GDP door B. Barenbrug