projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7add98a) | patch
Allow FORALL in quantifier elimination command (#1322)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 7 Nov 2017 15:21:00 +0000 (09:21 -0600)
committerGitHub <noreply@github.com>
Tue, 7 Nov 2017 15:21:00 +0000 (09:21 -0600)
commit473b375e3eabefba0a59800f010befb8a4f99ea1
tree97a55182c17f9c8c70f41847e464771f16759d97tree
parent7add98ae1348d71e364d2407a18d40a007ce1f0bcommit | diff
Allow FORALL in quantifier elimination command (#1322)

* Allow FORALL passed as an argument to get-qe.

* Document

* Format

* Minor
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history