projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b7a4af) | patch
Enable cegqi (with model values) for floating point by default (#2023)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 4 Jun 2018 18:58:14 +0000 (13:58 -0500)
committerAndres Noetzli <andres.noetzli@gmail.com>
Mon, 4 Jun 2018 18:58:14 +0000 (11:58 -0700)
commitdb491e2e8100101f30e3f211a3c5da55686f7d27
tree15907815b8231b7761f131d2ec96c8e82246f0d6tree
parent8b7a4af93226b2ecb82814a7609855deea0230cdcommit | diff
Enable cegqi (with model values) for floating point by default (#2023)
src/smt/smt_engine.cpp diff | blob | history
src/theory/fp/theory_fp_rewriter.cpp diff | blob | history
src/theory/quantifiers/cegqi/ceg_instantiator.cpp diff | blob | history
test/regress/Makefile.tests diff | blob | history
test/regress/regress1/quantifiers/fp-cegqi-unsat.smt2 [new file with mode: 0644] blob