If I am reading your code correctly, I don't see full backtracking search. The CPS version should implement this (though I find their particular CPS style rath

If I am reading your code correctly, I don't see full backtracking search. The CPS version should implement this (though I find their particular CPS style rather difficult to skim, so I'm not confident without running it).