Pagini recente » Cod sursa (job #2716456) | Cod sursa (job #1880838) | Cod sursa (job #1705465) | Cod sursa (job #554003) | Diferente pentru problema/2sat intre reviziile 32 si 31
Nu exista diferente intre titluri.
Diferente intre continut:
h2. Date de ieşire
În fişierul de ieşire $2sat.out$ se vor afisa $N$ numere naturale, $0$ sau $1$, reprezentand o atribuire satisfiabila pentru expresia data in fisierul de intrare, sau valoarea -1 in caz ca expresia nu admite solutie.
În fişierul de ieşire $2sat.out$ se vor afisa $N$ numere naturale, $0$ sau $1$, reprezentand o atribuire satisfiabila pentru expresia data in fisierul de intrare, sau valoarea -1 in caz ca expresia data nu admite solutie.
h2. Restricţii
Nu exista diferente intre securitate.
Topicul de forum nu a fost schimbat.
