Richard Comploi-Taupe
Richard Comploi-Taupe
I have the same problem. Here is a [file with which I can reproduce](https://github.com/nea/MarkdownViewerPlusPlus/files/3466210/README.md.txt) (using MarkDownViewer++ version 0.8.2.25564).
> It looks like the parser files have been adapted or split in multiple files -- or maybe some old parsing code is present here. Can you elaborate a bit...
It would also be useful to have an out-of-the-box option that outputs answer sets as facts. Clingo allows this with `--outf=1`. For example, the answer set `{ a, b }`...
Now #239 pops up also here. We should really fix this issue ...
There is a bug: #255 (I don´t know if it is related to this pull request, but it occurs on this branch.)
Is this implemented by #197?
Also `VariableEqualityRemoval.findAndReplaceVariableEquality(Rule)` modifies terms.
I´ve marked this pull request as draft because I still want to do some performance tests.
This feature does not seem to achieve the expected performance benefits (at least in some cases). For example, a [pup instance](https://github.com/alpha-asp/Alpha/files/5702928/pup.zip) is solved within ~11 seconds (15k backjumps) without this...
> > > What is the status on this PR and #284 ? > The status has not changed since Dec 16, 2020, I have not done any additional performance...