Using a SAT solver to prove correctness of schedules given a list of constraints.
-
Updated
Jun 22, 2022 - Python
Using a SAT solver to prove correctness of schedules given a list of constraints.
Add a description, image, and links to the sbsat topic page so that developers can more easily learn about it.
To associate your repository with the sbsat topic, visit your repo's landing page and select "manage topics."