From 2713bbcb4044ca18eb3071a8efea7ad097a6693b Mon Sep 17 00:00:00 2001 From: Richard Qin Date: Sat, 4 Apr 2026 03:02:48 +0800 Subject: feat: implement clause subsumption and tautology detection logic with associated unit tests --- proofsearch/tests/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) (limited to 'proofsearch/tests/CMakeLists.txt') diff --git a/proofsearch/tests/CMakeLists.txt b/proofsearch/tests/CMakeLists.txt index d841595..864c0ad 100644 --- a/proofsearch/tests/CMakeLists.txt +++ b/proofsearch/tests/CMakeLists.txt @@ -25,3 +25,4 @@ atp_add_test(test_clausifier test_clausifier.cc) atp_add_test(test_resolution test_resolution.cc) atp_add_test(test_discrim_tree test_discrim_tree.cc) atp_add_test(test_prover test_prover.cc) +atp_add_test(test_simplify test_simplify.cc) -- cgit v1.2.3