screwsat (cargo): A simple condlict driven clause learning sat solver
Keywords: satisfiability|solver|sat|competitive-programming|math|rust|sat-solver