maxtuno / CDCL

A simple and pure CDCL algorithm for experiment with new heuristics...

Geek Repo

Github PK Tool