projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c28f040) | patch
Add simple substitution utility (#5397)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 11 Nov 2020 18:15:44 +0000 (12:15 -0600)
committerGitHub <noreply@github.com>
Wed, 11 Nov 2020 18:15:44 +0000 (12:15 -0600)
commit74aad1b10d0ed716624abfadf9cccc4ae7e4ba96
treebced7d6863a3fd8c651ca7171323892537bbe4f8tree
parentc28f040e3b8c4aba150a61f0e42b1da7376b350ecommit | diff
Add simple substitution utility (#5397)

A few new algorithms for CEGQI and single invocation sygus will use this utility for managing transformations.
src/expr/subs.cpp [new file with mode: 0644] blob
src/expr/subs.h [new file with mode: 0644] blob