projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86ef9a6) | patch
Add learned literal type and prop learned database (#8582)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 11 Apr 2022 14:10:44 +0000 (09:10 -0500)
committerGitHub <noreply@github.com>
Mon, 11 Apr 2022 14:10:44 +0000 (14:10 +0000)
commitac44a43e5e678cb556f8ce3bb4e611858817c78a
treef8baf5b4574614fd7feac0df84865e01a16ff09etree
parent86ef9a69cd3ca2f1102460a27b4cf15b6dda01d6commit | diff
Add learned literal type and prop learned database (#8582)

In preparation for deep restart feature, and for extending the get-learned-literal interface to multiple types.
src/CMakeLists.txt diff | blob | history
src/api/cpp/cvc5_types.cpp diff | blob | history
src/api/cpp/cvc5_types.h diff | blob | history
src/prop/learned_db.cpp [new file with mode: 0644] blob
src/prop/learned_db.h [new file with mode: 0644] blob