`csp-solution``domain-variables``select`procedureGiven a list of domain variables and a function to select which one to try to bind next, one can simply pass in

*first*, this produces a solution to the CSP.

`csp-solution``domain-variables``select`procedureGiven a list of domain variables and a function to select which one to try to bind next, one can simply pass in

*first*, this produces a solution to the CSP.