diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-04-04 02:33:26 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-04-04 02:33:26 +0800 |
| commit | c7cf051e764b43e6455fa6cceaf1dbf7f6cb841b (patch) | |
| tree | f69a15726c11076471ad8708c2c26a2584eb34f2 /proofsearch/include/atp/simplify/subsumption.h | |
| parent | df6c2f124fce4cecd42da806a003afdf3a922c09 (diff) | |
| download | rcc-project-c7cf051e764b43e6455fa6cceaf1dbf7f6cb841b.tar.gz rcc-project-c7cf051e764b43e6455fa6cceaf1dbf7f6cb841b.tar.xz | |
feat: implement variable renaming and update resolution logic to prevent variable collisions
Diffstat (limited to 'proofsearch/include/atp/simplify/subsumption.h')
0 files changed, 0 insertions, 0 deletions