git.libre-soc.org Git - cvc5.git/commit

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Tue, 24 Jul 2018 22:01:38 +0000 (17:01 -0500)
committer	GitHub <noreply@github.com>
	Tue, 24 Jul 2018 22:01:38 +0000 (17:01 -0500)
commit	22916321f5c26fdc632df24f3c1fef45beaeb918
tree	a8a43b5aea9b8a4efbe5069eacb720e5506fc423	tree
parent	25d3eea9614a0882a5c18c455e5a14d118a78dce	commit \| diff

Improvements to sets + cardinality + quantifiers (#2200)

src/options/options_handler.cpp		diff \| blob \| history
src/options/options_handler.h		diff \| blob \| history
src/options/quantifiers_modes.h		diff \| blob \| history
src/options/quantifiers_options.toml		diff \| blob \| history
src/theory/quantifiers/fmf/bounded_integers.cpp		diff \| blob \| history
src/theory/quantifiers/fmf/bounded_integers.h		diff \| blob \| history
src/theory/sets/theory_sets_private.cpp		diff \| blob \| history
src/theory/sets/theory_sets_private.h		diff \| blob \| history
test/regress/Makefile.tests		diff \| blob \| history
test/regress/regress1/fmf/radu-quant-set.smt2	[new file with mode: 0644]	blob
test/regress/regress1/quantifiers/set-choice-koikonomou.cvc	[new file with mode: 0644]	blob