From 31a3d01ef27c559bf7ff453ca60033478ac19ef8 Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.x@gmail.com>
Date: Thu, 2 Apr 2026 15:23:43 +0800
Subject: refactor: replace string-based formula representation with interned
 SymbolIds and introduce stateful Clausifier for TPTP parsing

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 7242ee6..2a1b7e2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 # Build
 build/
 cmake-build-*/
+.cache/
 compile_commands.json
 
 # IDE
-- 
cgit v1.2.3