symbolic-search topic
List
symbolic-search repositories
symk
25
Stars
7
Forks
Watchers
Symk is a state-of-the-art classical optimal and top-k planner.
