Constraint Satisfaction Problem Solver for Dart