2018
https://codingnest.com/modern-sat-solvers-fast-neat-underused-part-1-of-n/
    https://www.reddit.com/r/cpp/comments/94dkme/modern_sat_solvers_fast_neat_and_underused_part_1/