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