Comment by anitil

Can you recommend any resources on CDCL? I've just started reading up on Dart's primer [0] but I feel like it's slightly out of my grasp

[0] https://github.com/dart-lang/pub/blob/master/doc/solver.md