GitHub repository: phuising/SAT-solving-for-peer-grading
Primary language: Python
Created: 2021-11-16T11:05:46Z
Description: Using SAT-solving to prove results in the domain of peer grading.