GitHub repository: ssardina-planning/FOND-SAT
Primary language: Python
Description: FOND solver based on SAT