projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae8e63d) | patch
(proof-new) TheoryArithPrivate: farkas lemma proof (#5267)
authorAlex Ozdemir <aozdemir@hmc.edu>
Thu, 15 Oct 2020 22:27:44 +0000 (15:27 -0700)
committerGitHub <noreply@github.com>
Thu, 15 Oct 2020 22:27:44 +0000 (17:27 -0500)
commit1a1aea5503132a0f55865cc21364bfee1d6a47c3
treed2484995f578296633d99d900a335191c7ae7fectree
parentae8e63d4be5fb217766ae7ef8a8dd37fd6b3f189commit | diff
(proof-new) TheoryArithPrivate: farkas lemma proof (#5267)

Use a farkas proof to prove one of arithmetic's lemmas.

These changes were checked-out directly from proof-new, without modification.
src/theory/arith/theory_arith_private.cpp diff | blob | history