auto-ptr fuck
switched to unique_ptr
introduced unique_ptrs
merge
filter-pattern for clauselists
merge
finally fixed that undef. ref.
moved pruning to interface (nasty bug to be fixed)
fixed bug (in reading special comments in Dimacs.h)
debugging
fixed segfault
filter pattern for clauselists
added prjection info to cnf