In accordance with the famous equation "Algorithm = Logic + Control", we can separate an algorithm into a logic component and a control component. Applying this approach to the N-queens puzzle, we can easily try different control strategies while keeping the logic the same. Varying the control component can significantly improve efficiency. The code is available from: https://www.metalevel.at/queens/
Recommended reading for animations:
Pascal Van Hentenryck, Vijay Saraswat, Yves Deville: Implementation, and Evaluations of the Constraint Language cc(FD), https://www.sciencedirect.com/science/article/pii/S0743106698100067
Ulrich Neumerkel, Christoph Rettig, Christian Schallhart: Visualizing Solutions with Viewers, https://www.complang.tuwien.ac.at/ulrich/papers/PDF/wlpe97.pdf
