diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-02-22 17:25:38 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-22 17:25:38 +0100 |
commit | ce710ed0e88bc62a470ff7043ba3ebcc1d7ebc6e (patch) | |
tree | 3abb14d74f9f03a55eb3b0780499e619af9602d0 /src/smt/witness_form.h | |
parent | 39e82b212bd2f957805884c24e6414289a7ec987 (diff) |
(proof-new) Add proofs for sine lemmas in the transcendental solver (#5952)
This PR adds proofs for the lemmas related to the sine function in the transcendental solver.
It introduces several new proof rules with corresponding proof checkers and produces proofs in the sine solver.
Diffstat (limited to 'src/smt/witness_form.h')
0 files changed, 0 insertions, 0 deletions