projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f6da05) | patch
Move smt_util to preprocessing/util (#8799)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 21 May 2022 23:43:30 +0000 (18:43 -0500)
committerGitHub <noreply@github.com>
Sat, 21 May 2022 23:43:30 +0000 (23:43 +0000)
commitdd458fe71d6ae2fc435751127ab8dcddf066ddbe
treecfebdf14c57661f6905debb46b9307566538c503tree
parent9f6da05263951ee353ae587565d0d7f38ef97867commit | diff
Move smt_util to preprocessing/util (#8799)

src/smt_util contains a single file that is only used by the miplib trick preprocessing pass. This moves it to preprocessing/util.
src/CMakeLists.txt diff | blob | history
src/preprocessing/passes/miplib_trick.cpp diff | blob | history
src/preprocessing/util/boolean_simplification.cpp [new file with mode: 0644] blob
src/preprocessing/util/boolean_simplification.h [new file with mode: 0644] blob
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/smt_util/boolean_simplification.cpp [deleted file] blob | history
src/smt_util/boolean_simplification.h [deleted file] blob | history
src/theory/arith/linear/theory_arith_private.cpp diff | blob | history
src/theory/booleans/theory_bool.cpp diff | blob | history
test/unit/util/boolean_simplification_black.cpp diff | blob | history