Symk is a state-of-the-art classical optimal and top-k planner.
-
Updated
Jan 7, 2025 - C++
#
symbolic-search
Here are 3 public repositories matching this topic...
Sym-Osp is a state-of-the-art optimal oversubscription planner based on symbolic search.
-
Updated
Apr 26, 2023 - C
C implementation to symbolically solve Connect4 game for given board size with binary decision diagrams.
-
Updated
Jan 18, 2025 - C
Improve this page
Add a description, image, and links to the symbolic-search topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the symbolic-search topic, visit your repo's landing page and select "manage topics."