Andrew Cropper

Hi @JeanChristopheRohner, yes, this feature would be great. We will look to add it in the next 1-3 months.

A quick attempt at doing so is in the latest code `asptester.py` but the performance is very poor.

That could be helpful when there are only a small number of examples, but could become cumbersome with many examples. I'll look into adding an extra `--super-debug` flag which would...

We have dropped this 'redundant_literal' check from the latest version, but it could still be useful to add it again if we can correctly eliminate such pointless rules.

As @celinehocquette said, the meaning of `max_clauses` has changed with the latest version. I will make a note of this confusion and will push a fix in the next 1-3...

@pudumagico Popper cannot currently learn programs with different head user-defined head predicate symbols, i.e. multiple `head_pred` declarations. However, it is something we could implement relatively easily. I'll add it as...

@JeanChristopheRohner this feature is now working. Please try running Popper (currently from the main branch) with the`--noisy` flag.

Hi Hakan, The noise tolerent version of Popper (with —noisy) works by learning a solution with the minimal description length, i.e. it tries to find a program that optimally compresses...