GitHub repository: swrx782/satsolver
Primary language: C
Created: 2022-10-04T09:09:48Z
Description: my first SATsolver