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