Ask HN: Constraint Solving Libraries for Automated Scheduling? · HackerTrans