Part
Кажется, исправлен тот страшный косяк в Dpll_HT.
Ошибка была в некорректной очистке дизъюнктов при бэктрекинге,
из за того, что передавался не верный уровень очистки (на единицу
выше, чем надо).
Заметка на будущее:
 1) Никогда полностью не удалять однажды написанный код.
    Он может пригодится абсолютно внезапно в самый неподходящий
    момент. Нехай, пусть висит в репозитории.
 2) Рефакторинг так, как его описывает Фаулер - великая вещь.
 3) !!! освой разработку через тестирование !!!
asdfsadf
Починена часть LiteralCount.
( на 18bit_fact(451,2589).cnf по прежнему
  выдает ошибку (распознаёт как UNSAT) )
Описание текущей версии:
Функционирует Adjacency list.
Функционирует Simple order и Literal count.
Сделан не вполне корректный (всегда создающий версию Cnf для неленивых
вычислений), но вполне рабочий текстовый интерфейс.
В Head tail версии по прежнему висит какая-то непонятная ошибка. Я
исправил ту, которая портачила всё при reset-ах, но, как выяснилась, она
была не последней =__=
Watched literals по прежнему не сделаны.