gpp-solver (cargo): A small hybrid push-pull solver/planner that has the best of both worlds
Keywords: logic|solver|no-std|reactive|graph