//       for (int k = 0; k < vehicles.size()+1;k++){
//           for (int i = 0; i < n; i++) {
//               for (int j = 0; j < n; j++) {
//                   for (int t = 0; t < tb-1; t++) {
//                       lits.clear();
//                       lits.push(~Lit(car[k][i][j][t]));
//                       lits.push(Lit(car[k][i][j][t+1])); // (not c(i,j,t) et c(i,j,t+1) -> Move
//                       if (j-(vehicles[k].width-1)-1!=0 and inboard(i,j-(vehicles[k].width-1),n)) { lits.push(Lit(move[k][i][j-(vehicles[k].width-1)][t][0])) ; }
//                       if (i+(vehicles[k].height-1)!=0 and inboard(i+(vehicles[k].height-1),j,n)) { lits.push(Lit(move[k][i+(vehicles[k].height-1)][j][t][1])) ; }
//                       if (j+(vehicles[k].width-1)!=0 and inboard(i,j+(vehicles[k].width-1),n)) { lits.push(Lit(move[k][i][j+(vehicles[k].width-1)][t][2])) ; }
//                       if (i-(vehicles[k].height-1)!=n-1 and inboard(i-(vehicles[k].height-1),j,n)) { lits.push(Lit(move[k][i-(vehicles[k].height-1)][j][t][3])) ; }
//
//                       s.addClause(lits);
//                       lits.clear();
//                       lits.push(Lit(car[k][i][j][t]));
//                       lits.push(~Lit(car[k][i][j][t+1]));
//                       if (j+1!=n-1 and inboard(i,j+1,n)) { lits.push(Lit(move[k][i][j+1][t][0])) ; }
//                       if (i+1!=0 and inboard(i+1,j,n)) { lits.push(Lit(move[k][i+1][j][t][1])) ; }
//                       if (j-1!=0 and inboard(i,j-1,n)) { lits.push(Lit(move[k][i][j-1][t][2])) ; }
//                       if (i-1!=n-1 and inboard(i-1,j,n)) { lits.push(Lit(move[k][i-1][j][t][3])) ; }
//
//                       s.addClause(lits);
//                   }
//               }
//           }
//       }