org.qedeq.kernel.bo.parser.package.html Maven / Gradle / Ivy
Parse texts with formulas and terms into parse tree and produce QEDEQ output.
With this package simple texts like A | B => A & B can be transformed into texts like IMPL(OR(A, B), AND(A, B)).