Constraint programming · HackerTrans