| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CMakeLists.txt | 1623 | logplain |
| -rw-r--r-- | test_clausifier.cc | 781 | logplain |
| -rw-r--r-- | test_discrim_tree.cc | 781 | logplain |
| -rw-r--r-- | test_end_to_end.cc | 8040 | logplain |
| -rw-r--r-- | test_proof_trace.cc | 8348 | logplain |
| -rw-r--r-- | test_prover.cc | 8771 | logplain |
| -rw-r--r-- | test_resolution.cc | 10278 | logplain |
| -rw-r--r-- | test_simplify.cc | 6853 | logplain |
| -rw-r--r-- | test_term_bank.cc | 11498 | logplain |
| -rw-r--r-- | test_unification.cc | 12877 | logplain |
 |
index : ratp | |
| A saturation-based automated theorem prover for first-order logic. |
| aboutsummaryrefslogtreecommitdiff |