GitHub repository: vishwajith1/SAT
Primary language: Prolog
Description: SAT