projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f95c669) | patch
initial draft of skolemization during pre-processing, made simple cliques the default...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 1 Oct 2012 19:55:15 +0000 (19:55 +0000)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 1 Oct 2012 19:55:15 +0000 (19:55 +0000)
commitc6c8ba915748e117821996992fd043e2669b59b4
treee953453ec5c38f283e46476a8a4c0bc54da079a5tree
parentf95c6698e5d57b7142b76f29e977168b5bb5ac8ccommit | diff
initial draft of skolemization during pre-processing, made simple cliques the default option for uf strong solver
src/smt/smt_engine.cpp diff | blob | history
src/theory/quantifiers/quantifiers_rewriter.cpp diff | blob | history
src/theory/quantifiers/trigger.cpp diff | blob | history
src/theory/uf/options diff | blob | history
src/theory/uf/theory_uf_strong_solver.cpp diff | blob | history