Constraint Solver Usage java Main [csp filename] [solverName] [variableOrder] solverName - fc or mac variableOrder - 1 for ascending 2 for smallest-domain first