projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b7e493) | patch
Add learned literal manager utility (#6709)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 8 Jun 2021 21:50:41 +0000 (16:50 -0500)
committerGitHub <noreply@github.com>
Tue, 8 Jun 2021 21:50:41 +0000 (16:50 -0500)
commit0ec38bbddf9b9e37f4535a6c782f42e03f4593e0
tree40a28229e517aa6b8fef2c9de4e80179362491d4tree
parent6b7e493bb78c86876e51e2e706bdeb4d33958798commit | diff
Add learned literal manager utility (#6709)

This is a simple class to maintain a list of literals that we have learned that may be useful during preprocessing.

This is work towards a "learned rewrite" preprocessing pass / better support for Int/BV translations during preprocessing.
src/CMakeLists.txt diff | blob | history
src/preprocessing/learned_literal_manager.cpp [new file with mode: 0644] blob
src/preprocessing/learned_literal_manager.h [new file with mode: 0644] blob