kasandra-ravens documents

Documents Is conflict directed backjumping a waste of time?