/proofsearch/tests/

• ../
• CMakeLists.txt
• test_clausifier.cc
• test_discrim_tree.cc
• test_prover.cc
• test_resolution.cc
• test_simplify.cc
• test_term_bank.cc
• test_unification.cc