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