diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-04-02 15:23:43 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-04-02 15:23:43 +0800 |
| commit | 31a3d01ef27c559bf7ff453ca60033478ac19ef8 (patch) | |
| tree | aeacd221b4771b7cede671addd97ba8b09b3f2e9 /.gitignore | |
| parent | 26da267b732e28e4d9697278e735b410e50e5e08 (diff) | |
| download | ratp-31a3d01ef27c559bf7ff453ca60033478ac19ef8.tar.gz ratp-31a3d01ef27c559bf7ff453ca60033478ac19ef8.tar.xz | |
refactor: replace string-based formula representation with interned SymbolIds and introduce stateful Clausifier for TPTP parsing
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,6 +1,7 @@ # Build build/ cmake-build-*/ +.cache/ compile_commands.json # IDE |