GitHub repository: speckdavid/symk
Primary language: C++
Created: 2019-10-31T11:59:13Z
Description: Sym-k is a state-of-the-art top-k planner.