GitHub repository: mertdumenci/sat-ml
Primary language: Python
Description: Playing around with SAT solvers.