Discovering Errors in Donald Knuth’s TAOCP

As Donald Knuth has just published Volume 4, Fascicle 7 of The Art of Computer Programming (TAOCP), on constraint satisfaction, I would like to provide more information about the errors I discovered i