Nesthdb#6

Open

raki123 wants to merge 2 commits intohmarkus:nesthdbfrom

raki123:nesthdb

Commits on Dec 26, 2020

Fixed some additional cases in cnf reading that could occur due to a different preprocessor.
raki123
committed
Merge branch 'nesthdb' of https://github.com/hmarkus/dp_on_dbs into nesthdb
raki123
committed