Constraint Satisfaction with Continuations (Scala) · HackerTrans