2-SAT

Implementace algoritmu, který v lineárním čase najde splňující ohodnocení dané formule v CNF s klauzulemi o nejvýš dvou literálech, pokud existuje.