projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f90660b) | patch
Affine Axioms (#3630)
authorAlex Ozdemir <aozdemir@hmc.edu>
Tue, 21 Jan 2020 21:33:04 +0000 (13:33 -0800)
committerGitHub <noreply@github.com>
Tue, 21 Jan 2020 21:33:04 +0000 (13:33 -0800)
commitd99fc9153d8260cfc6dd2aa7d2a2ea96ab5c4925
tree776c21911607fe6d67058615c1ac0c7e0b27786atree
parentf90660bac410b8790d460be2ebd248e543a587e1commit | diff
Affine Axioms (#3630)

Used for proving that real terms are affine functions of their
variables.
proofs/signatures/th_lira.plf diff | blob | history