Hans-Jörg ce64f348d3 Add API for Proofs (#9895) ...

This pull requests adds support to get Proofs as proper objects from the API.

To do so it adds an object Proof that encapsulates a ProofNode. Furthermore, it adds a function proofsToString to the Solver object that prints (a vector of) proofs. Finally, it modifies the getProof function of the Solver object to return proofs.

Proof rules are returned as strings.

One thing I don't quite like is that the proof component configuration must be given to both the getProof and proofsToString method and must be the same.

2023-10-12 12:05:01 -05:00

3.1 KiB

Raw Permalink Blame History

View Raw