Cdcl 008 Laurab Fixed Now

: A logic loop in the SAT solver was causing system hang-ups during massive computations.

: [Today's Date]