GitHub repository: zaki-joho/frontier_basic_tdzdd
Description: An example implementation of the frontier-based search using TdZdd.