GBJ

Graph-based backjumping