Dodano preverjanje podizrazov v kubičnem SAT solverju.
Konjunkcije se sedaj obnašajo kot konjunkcije prvega konjunkta in preostanka. Kubični SAT solver zdaj res teče v kubičnem času.
Upoštevamo spremembe v implementaciji problemov.
Popravljena metoda simplify - če je po absorpciji en sam člen, ga vrne, sicer pa privzeto ne sortira členov.