GitHub repository: ojcole/CS262-Tests
Primary language: Python
Description: A simple script to automatically generate and solve clauses for testing the CS262 coursework