yanneta / learning_heuristics_sat

learning_heuristics_sat

Install cnfgen to be able to generate sat formulas pip install CNFgen

Install minisat to make sure formulas are satisfiable. https://howtoinstall.co/en/minisat