gpp-solver

A small hybrid push-pull solver/planner that has the best of both worlds


Keywords
logic, reactive, solver, graph, no-std
License
BSD-2-Clause