Robni primeri za CNF/DPLL (spremenljivka, true, false).
Petersenov graf
Osnutek readme, #7.