🍔 A ruby implementation of the PubGrub CDCL-based version solver - View it on GitHub