Constraint models for solving Late Binding Solitaire in Essence Prime
- Download Savile Row Solver from https://savilerow.cs.st-andrews.ac.uk/ into a suitably named folder
- Go into the Savile Row folder and run: savilerow <model.eprime> <model_param.param> -run-solver