solhop-types (cargo): Types for SolHOP 
Keywords: satisfiability|sat|boolean|maxsat|solhop