aboutsummaryrefslogtreecommitdiff
path: root/proofsearch/src/infer/resolution.cc
Commit message (Collapse)AuthorAgeFilesLines
* feat: implement variable renaming and update resolution logic to prevent ↵Richard Qin2026-04-041-0/+152
| | | | variable collisions
* Initial commit: Build project architecture, define interfaces, write ↵Richard Qin2026-04-021-0/+19
documentation, with the help of Claude