rsat-cli (cargo): SolHOP SAT Solver 
Keywords: solver|satisfiability|sat|math|boolean