From 3512aed92fce7e1f750327090cfc6909379ed2e6 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

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

(limited to 'proofsearch/.gitignore')

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