Closed StephanGocht closed 4 years ago
Is implemented but documentation is missing (formula file xpb? and proof file).
The literal rule does not work well with arbitrary variable names as the order of literal axioms is no longer clear. Currently it is the order as variables occur in the formula/ proof but this is not very user friendly.
It would be nice to have variable names that go beyond numbers.