Finite Domain Constraint Solving for NoFlo