GitHub - niibruce/LateBindingSolitaire: Constraint models for solving Late Binding Solitaire in Essence Prime

LateBindingSolitaire

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

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.gitattributes		.gitattributes
LICENSE		LICENSE
MeanSolverNodes.png		MeanSolverNodes.png
README.md		README.md
SolverSolveTime.png		SolverSolveTime.png
index_model.eprime		index_model.eprime
params.param		params.param
value_model.eprime		value_model.eprime