Documentation
README
A shipped parameter file is a list of questions, not a source to trust or discard
A small file in data/ that reads like a dump of settings โ named constants,
per-case or per-transition values, acceptance windows, a table of entity pairs,
a list of starting configurations, precomputed summary counts โ is not raw data
and it is not documentation. It is the list of quantities somebody expects your
report to contain, written in that person's own labels. Reproducing more of the
upstream source than the file covers does not answer them.
This is the opening of the README. Read the full README on GitHub.