Parsing was completely rewritten in this version, so it is more united. Furthermore, this also allowed to change localisation a bit, quantifier trees can now share subtrees, significantly reducing memory usage.
New
- added parsing of non-cleansed prenex (D)QCIR format
- added two new options '--dqcir-output' and '--dqcir-output-cleansed' for printing parsed and possibly preprocessed input into given output file in non-cleansed or cleansed prenex DQCIR format (the option '--hqspre-dqcir-output' was removed, as '--dqcir-output-cleansed' with preprocessing turned on replaces it)
- quantifier trees used for localisation can now share subtrees, significantly reducing memory usage