| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CMakeLists.txt | 1701 | 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 | 8073 | logplain |
| -rw-r--r-- | test_proof_trace.cc | 8578 | logplain |
| -rw-r--r-- | test_prover.cc | 8991 | logplain |
| -rw-r--r-- | test_resolution.cc | 10584 | logplain |
| -rw-r--r-- | test_simplify.cc | 7153 | logplain |
| -rw-r--r-- | test_term_bank.cc | 12155 | logplain |
| -rw-r--r-- | test_unification.cc | 13259 | logplain |
 |
index : ratp | |
| A saturation-based automated theorem prover for first-order logic. |
| aboutsummaryrefslogtreecommitdiff |