Changes necessary to run minidoop from metadl (still using the souffle evaluator) (!9) · Merge requests · Christoph Reichenbach / MetaDL

add -SEP command line option to be able to configure the CSV separator (Doop facts use \t)
minor fixes to be able to accept CSV values starting with '
add a "make minidoop" target

(The output of the translated minidoop differs from the original minidoop, so I must have introduced a bug while translating...)

Changes necessary to run minidoop from metadl (still using the souffle evaluator)