projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e66924c) | patch
Added Theory::presolve().
authorTim King <taking@cs.nyu.edu>
Tue, 16 Nov 2010 21:11:11 +0000 (21:11 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 16 Nov 2010 21:11:11 +0000 (21:11 +0000)
commitbb2a0e0e12f39a1b4dea8fb0c990decba4708a1c
tree6e5824f8cf1b0f1cb32e6cae5cbd214b1b48d965tree
parente66924cb0f425ca70969058532340e68c9c17a54commit | diff
Added Theory::presolve().
13 files changed:
src/prop/prop_engine.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history
src/theory/arrays/theory_arrays.h diff | blob | history
src/theory/booleans/theory_bool.h diff | blob | history
src/theory/builtin/theory_builtin.h diff | blob | history
src/theory/bv/theory_bv.h diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/theory/uf/morgan/theory_uf_morgan.h diff | blob | history
src/theory/uf/tim/theory_uf_tim.h diff | blob | history
test/unit/theory/theory_black.h diff | blob | history
test/unit/theory/theory_engine_white.h diff | blob | history