debug-out refinement
fixed debug out (added target-FILE* to print() methods)
fixed previous commit (commented out double-visit protection and
disabled experimental ""short-circuit"" detection)
recoverd FixedSizeCube implementation for performance optimization
Merge branch 'master' of https://github.com/IserMk/minisat
fixed compilation error introduced with last commit
performance optimization of the pruning algorithm with fixed-size-cube and visited-vector
debugging--- again
bad examples