Well, a SAT solver can optimize the retreat schedule. A meditation retreat as a whole is a living creature, beyond any individual’s control. But I can provide a schedule that functions smoothly and reduces distractions. I used Python and integer programming, a technique for mathematical optimization. The problem The Village Zendo holds two weeklong Zen meditation retreats every summer, and one every winter. An essential part of Zen retreats is interviews (“dokusan” or “daisan”) betw...
