| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | clause_store.cc | 1646 | logplain |
| -rw-r--r-- | symbol_table.cc | 2030 | logplain |
| -rw-r--r-- | term_bank.cc | 1838 | logplain |
 |
index : ratp | |
| A saturation-based automated theorem prover for first-order logic. |
| aboutsummaryrefslogtreecommitdiff |