Move the fixed file into the root directory or the designated lib folder of your application.
: The pointers tracking the two watched literals of the clause were not properly restored to the lower decision level's assignment trail. cdcl 008 laurab fixed
: The BnF catalog is a valuable resource for identifying the official CD. This confirms that cdcl 008 is indeed a real product, which is a crucial first step. Move the fixed file into the root directory
Resolving the watch pointer desynchronization increased the propagation speed by 18% to 24% on highly constrained industrial problems. cdcl 008 laurab fixed
Local decision states ignored during mixed backtracking modes.