Similar repositories to circuithub/fast-downward: