speckdavid/symk

Symk is a state-of-the-art classical optimal and top-k planner.

语言：C · GitHub 星标：49 · Fork：14

话题：ai · aiplanning · classical-planning · planning · symbolic-search

在 GitHub 上查看原仓库