Exemplo n.º 1
0
 public bool Satisfiable()
 {
     scc.FindComponents();
     for (int i = 1; i <= n; i++)
     {
         if (scc.component[getNum(i)] == scc.component[getNum(-i)])
         {
             return(false);
         }
     }
     return(true);
 }