solhop (cargo): SAT and MaxSAT Solver 
Keywords: satisfiability|sat|maxsat|solver|boolean|maxsat-solver|sat-solver|unsat