an app that implements various zdd algorithms