2SAT

  1. REDIRECT 2-satisfiability {{R from alternative name}}