-
Notifications
You must be signed in to change notification settings - Fork 7
Open
Labels
SolverIssues regarding Solvers in generalIssues regarding Solvers in generalhelp wantedExtra attention is neededExtra attention is needed
Description
Dan's Request: GeneralSolver currently doesn't support functionality to display the remoteness of a "losing position". Redesign the implementation of GeneralSolver to support this.
We first need to define a primitive for a losing position. This can be defined as when the generateMoves for legal moves is an empty set.
Next start with CSPs to first find the "losing positions" defined by our primitives. We may need to define another way to store remoteness and values for GeneralSolver, SqliteSolver, and IndexSolver.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
SolverIssues regarding Solvers in generalIssues regarding Solvers in generalhelp wantedExtra attention is neededExtra attention is needed