aboutsummaryrefslogtreecommitdiff
path: root/proofsearch/include/atp/infer/resolution.h
Commit message (Expand)AuthorAgeFilesLines
* feat: implement variable renaming and update resolution logic to prevent vari...Richard Qin2026-04-041-3/+9
* Initial commit: Build project architecture, define interfaces, write document...Richard Qin2026-04-021-0/+44