issues
search
Team-Kek
/
Notebook
Implementations of algorithms that might be useful in ICPC.
1
stars
0
forks
source link
Create two_sat.cpp
#25
Closed
maxhwardg
closed
8 years ago
maxhwardg
commented
8 years ago
(A v B) ^ (C v D)
(A v B) ^ (C v D)