gpp-solver

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


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