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