rsat (cargo): SAT Solver 
Keywords: math|satisfiability|solver|sat|boolean|cdcl|sat-solver|satifiability|sls|unsat