GitHub repository: Anas099X/OpenSAT
Primary language: Python
Description: Open Source project for SAT enjoyers