/tests/

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