High-performance constraint-propagation search engine for odd perfect numbers and Descartes-type pseudo-candidates. Factor-chain propagation, window-complete pruning ...