GitHub repository: noahbass/scheduler-sat
Primary language: Python
Created: 2020-04-06T00:54:19Z
Description: Using a SAT solver to prove correctness of schedules given a list of constraints.