funkcija simplify_unit_cases vrne slovar, ki ga zapolnimo tako, da dodamo vrednosti, ki jih lahko določimo s stavki, ki imajo samo en literal
funkcija simplify_unit_cases vrne slovar, ki ga zapolnimo tako, da
dodamo vrednosti, ki jih lahko določimo s stavki, ki imajo samo en
literal

EvaZmazek/LVR-SAT-solver