7/30/2025
•
EN
Optimizing a Meditation Retreat with a SAT Solver
Using a SAT solver and Python to automate the complex scheduling of student-teacher interviews at a Zen meditation retreat.
